changeset 72262 | a282abb07642 |
parent 72207 | b2f6fdff21fa |
child 72312 | 0134a7d6ad56 |
72261:5193570b739a | 72262:a282abb07642 |
---|---|
896 "HOL-Library" |
896 "HOL-Library" |
897 theories |
897 theories |
898 Word |
898 Word |
899 More_Word |
899 More_Word |
900 Word_Examples |
900 Word_Examples |
901 Conversions |
|
902 document_files "root.bib" "root.tex" |
901 document_files "root.bib" "root.tex" |
903 |
902 |
904 session "HOL-Statespace" in Statespace = HOL + |
903 session "HOL-Statespace" in Statespace = HOL + |
905 theories [skip_proofs = false] |
904 theories [skip_proofs = false] |
906 StateSpaceEx |
905 StateSpaceEx |