Session Codegen

Theories

• Setup
  • File ‹~~/src/Doc/antiquote_setup.ML›
  • File ‹~~/src/Doc/more_antiquote.ML›
• Introduction
• Foundations
• Refinement
• Inductive_Predicate
• Evaluation
• Computations
• Adaptation
• Further