Here is a
Java Applet
that allows students to explore congruence properties for triangles:
next