Session Lineartime_Branchingtime_Spectrum_I

View theory dependencies
View document
View outline

Theories

Labeled_Transition_Systems
LTS_Semantics
Hennessy_Milner_Logic
HOL-Library.Old_Datatype
- File ‹~~/src/HOL/Tools/Old_Datatype/old_datatype.ML›
HOL-Library.Nat_Bijection
HOL-Library.Countable
- File ‹~~/src/HOL/Tools/BNF/bnf_lfp_countable.ML›
HOL-Library.Infinite_Set
HOL-Library.Countable_Set
HOL-Library.Countable_Complete_Lattices
HOL-Library.Order_Continuity
HOL-Library.Extended_Nat
Priced_HML
Strong_Equivalences
HML_Spectrum
Priced_Spectrum
Equivalence_Games