Session HOL-Eisbach

Theories

• Eisbach
  • File ‹parse_tools.ML›
  • File ‹method_closure.ML›
  • File ‹eisbach_rule_insts.ML›
  • File ‹match_method.ML›
• Eisbach_Tools
• Tests
• Examples
• Eisbach_Old_Appl_Syntax
• Examples_FOL
• Example_Metric