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