Session Tutorial

Theories

• ToyList_Test
• ToyList
• Ifexpr
• CodeGen
• Trie
• ABexpr
• unfoldnested
• Nested
• Fundata
• fun0
• simp2
• Base
• PDL
• CTL
• CTLind
• Even
• Mutual
• Star
• AB
• Advanced
• Tree
• Tree2
• Plus
• case_exprs
• fakenat
• natsum
• pairs2
• Option2
• types
• prime_def
• simp
• Itrev
• AdvancedInd
• appendix
• Message
• Event
• Public
• NS_Public
• Documents
• Setup
• Numbers
• Pairs
• Records
• Typedefs
• Overloading
• Axioms
• Basic
• Blast
• Force
• TPrimes
• Forward
• Tacticals
• find2
• Examples
• Functions
• Relations
• Recur