| author | wenzelm |
| Thu, 12 Feb 2009 11:19:12 +0100 | |
| changeset 30056 | 924c1fd5f303 |
| parent 30046 | 020861892625 |
| child 30167 | faf7b2ba1fef |
| permissions | -rw-r--r-- |
| wenzelm@30046 | 1 |
set quick_and_dirty; |
| wenzelm@26844 | 2 |
set ThyOutput.source; |
| wenzelm@26741 | 3 |
use "../../antiquote_setup.ML"; |
| wenzelm@26844 | 4 |
|
| wenzelm@27035 | 5 |
use_thy "Introduction"; |
| wenzelm@30042 | 6 |
use_thy "Framework"; |
| wenzelm@30056 | 7 |
use_thy "First_Order_Logic"; |
| wenzelm@27037 | 8 |
use_thy "Outer_Syntax"; |
| wenzelm@28751 | 9 |
use_thy "Document_Preparation"; |
| wenzelm@26869 | 10 |
use_thy "Spec"; |
| wenzelm@26869 | 11 |
use_thy "Proof"; |
| wenzelm@28762 | 12 |
use_thy "Inner_Syntax"; |
| wenzelm@27048 | 13 |
use_thy "Misc"; |
| wenzelm@26782 | 14 |
use_thy "Generic"; |
| wenzelm@26840 | 15 |
use_thy "HOL_Specific"; |
| wenzelm@26779 | 16 |
use_thy "Quick_Reference"; |
| wenzelm@28838 | 17 |
use_thy "Symbols"; |
| wenzelm@26846 | 18 |
use_thy "ML_Tactic"; |