/spartan/core/

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