| author | wenzelm |
| Mon, 09 Feb 2009 21:08:59 +0100 | |
| changeset 29720 | 020861892625 |
| parent 29716 | b6266c4c68fe |
| child 29730 | 924c1fd5f303 |
| permissions | -rw-r--r-- |
set quick_and_dirty; set ThyOutput.source; use "../../antiquote_setup.ML"; use_thy "Introduction"; use_thy "Framework"; use_thy "Outer_Syntax"; use_thy "Document_Preparation"; use_thy "Spec"; use_thy "Proof"; use_thy "Inner_Syntax"; use_thy "Misc"; use_thy "Generic"; use_thy "HOL_Specific"; use_thy "Quick_Reference"; use_thy "Symbols"; use_thy "ML_Tactic";