author | wenzelm |
Tue, 23 Dec 2008 19:49:21 +0100 | |
changeset 29157 | 461f34ed79ec |
parent 28838 | d5db6dfcb34a |
child 29716 | b6266c4c68fe |
child 30240 | 5b25fee0362c |
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"; |
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
17 |
use_thy "Symbols"; |
26846
2e6726015771
removed obsolete conversion guide -- converted only section on tactics;
wenzelm
parents:
26844
diff
changeset
|
18 |
use_thy "ML_Tactic"; |