Session Semantics

Theories

• IRTreeEval
• Snippets.Snipping
• TreeToGraph
• Form
• IRGraphFrames
• IRStepObj
• IRTreeEvalThms
• HOL-Eisbach.Eisbach
  • File ‹parse_tools.ML›
  • File ‹method_closure.ML›
  • File ‹eisbach_rule_insts.ML›
  • File ‹match_method.ML›
• HOL-Eisbach.Eisbach_Tools
• TreeToGraphThms
• IRStepThms