equal
deleted
inserted
replaced
645 theories [quick_and_dirty] |
645 theories [quick_and_dirty] |
646 Structured_Statements |
646 Structured_Statements |
647 document_files |
647 document_files |
648 "root.bib" |
648 "root.bib" |
649 "root.tex" |
649 "root.tex" |
650 "style.tex" |
|
651 |
650 |
652 session "HOL-Eisbach" in Eisbach = HOL + |
651 session "HOL-Eisbach" in Eisbach = HOL + |
653 description {* |
652 description {* |
654 The Eisbach proof method language and "match" method. |
653 The Eisbach proof method language and "match" method. |
655 *} |
654 *} |