Session HOL-Bali

Theories

• Old_Recdef
• Basis
• Name
• Type
• Value
• Table
• Term
• Decl
• TypeRel
• DeclConcepts
• WellType
• DefiniteAssignment
• WellForm
• State
• Eval
• DefiniteAssignmentCorrect
• Conform
• TypeSafe
• Evaln
• AxSem
• Example
• AxExample
• AxSound
• AxCompl
• Trans