Session HOL-CSP

Theories

• Introduction
• Process
• Bot
• Skip
• Stop
• Det
• Ndet
• Seq
• Renaming
• Hiding
• HOL-Library.Infinite_Set
• Sync
• Mprefix
• Mndetprefix
• CSP_Induct
• Process_Order
• HOL-Eisbach.Eisbach
  • File ‹parse_tools.ML›
  • File ‹method_closure.ML›
  • File ‹eisbach_rule_insts.ML›
  • File ‹match_method.ML›
• CSP_Laws
• CSP
• Assertions
• Conclusion
• CopyBuffer