/spartan/lib/

• ../
• congruence.ML
• elimination.ML
• eqsubst.ML
• equality.ML
• focus.ML
• goals.ML
• implicits.ML
• lib.ML
• rewrite.ML
• tactics.ML