/spartan/core/lib/

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