Session Eisbach

Theories

• Base
  • File ‹~~/src/Doc/antiquote_setup.ML›
• HOL-Eisbach.Eisbach
  • File ‹parse_tools.ML›
  • File ‹method_closure.ML›
  • File ‹eisbach_rule_insts.ML›
  • File ‹match_method.ML›
• HOL-Eisbach.Eisbach_Tools
• Preface
• Manual