/spartan/core/

• ../
• Spartan.thy
• cases.ML
• congruence.ML
• context_tactical.ML
• elaborated_statement.ML
• elaboration.ML
• elimination.ML
• eqsubst.ML
• equality.ML
• focus.ML
• goals.ML
• implicits.ML
• lib.ML
• rewrite.ML
• tactics.ML
• typechecking.ML