author | wenzelm |
Thu, 13 Nov 2008 21:59:02 +0100 | |
changeset 28774 | 0e25ef17b06b |
parent 28762 | f5d79aeffd81 |
child 28838 | d5db6dfcb34a |
permissions | -rw-r--r-- |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
1 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
2 |
(* $Id$ *) |
26741 | 3 |
|
26844 | 4 |
set ThyOutput.source; |
26741 | 5 |
use "../../antiquote_setup.ML"; |
26844 | 6 |
|
27035 | 7 |
use_thy "Introduction"; |
27037 | 8 |
use_thy "Outer_Syntax"; |
28751 | 9 |
use_thy "Document_Preparation"; |
26869
3bc332135aa7
added chapters for "Specifications" and "Proofs";
wenzelm
parents:
26846
diff
changeset
|
10 |
use_thy "Spec"; |
3bc332135aa7
added chapters for "Specifications" and "Proofs";
wenzelm
parents:
26846
diff
changeset
|
11 |
use_thy "Proof"; |
28762
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
28751
diff
changeset
|
12 |
use_thy "Inner_Syntax"; |
27048 | 13 |
use_thy "Misc"; |
26782 | 14 |
use_thy "Generic"; |
26840 | 15 |
use_thy "HOL_Specific"; |
26779
35809287ab23
converted refcard.tex to Thy/Quick_Reference.thy;
wenzelm
parents:
26767
diff
changeset
|
16 |
use_thy "Quick_Reference"; |
26846
2e6726015771
removed obsolete conversion guide -- converted only section on tactics;
wenzelm
parents:
26844
diff
changeset
|
17 |
use_thy "ML_Tactic"; |