Session Isar_Ref

Theories

• Base
  • File ‹~~/src/Doc/antiquote_setup.ML›
• Preface
• Synopsis
• Framework
• First_Order_Logic
• Outer_Syntax
• Document_Preparation
• Spec
• Proof
• Proof_Script
• Inner_Syntax
• Generic
• HOL_Specific
• Quick_Reference
• Symbols