Session HOL-Statespace

View theory dependencies
View document
View outline

Theories

DistinctTreeProver
- File ‹distinct_tree_prover.ML›
StateFun
StateSpaceLocale
- File ‹state_space.ML›
- File ‹state_fun.ML›
StateSpaceSyntax
StateSpaceEx