Session Factored_Transition_System_Bounding
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.Sublist
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.FSet
HOL-Library.AList
HOL-Library.Conditional_Parametricity
File ‹conditional_parametricity.ML›
HOL-Library.Finite_Map
FactoredSystemLib
ListUtils
FSSublist
HoArithUtils
FmapUtils
FactoredSystem
ActionSeqProcess
RelUtils
Dependency
Invariants
SetUtils
TopologicalProps
SystemAbstraction
Acyclicity
AcycSspace