author | wenzelm |
Mon, 09 Feb 2009 12:52:16 +0100 | |
changeset 29716 | b6266c4c68fe |
parent 28838 | d5db6dfcb34a |
child 29720 | 020861892625 |
permissions | -rw-r--r-- |
26741 | 1 |
|
26844 | 2 |
set ThyOutput.source; |
26741 | 3 |
use "../../antiquote_setup.ML"; |
26844 | 4 |
|
27035 | 5 |
use_thy "Introduction"; |
29716
b6266c4c68fe
basic setup for chapter "The Isabelle/Isar Framework";
wenzelm
parents:
28838
diff
changeset
|
6 |
use_thy "Framework"; |
27037 | 7 |
use_thy "Outer_Syntax"; |
28751 | 8 |
use_thy "Document_Preparation"; |
26869
3bc332135aa7
added chapters for "Specifications" and "Proofs";
wenzelm
parents:
26846
diff
changeset
|
9 |
use_thy "Spec"; |
3bc332135aa7
added chapters for "Specifications" and "Proofs";
wenzelm
parents:
26846
diff
changeset
|
10 |
use_thy "Proof"; |
28762
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
28751
diff
changeset
|
11 |
use_thy "Inner_Syntax"; |
27048 | 12 |
use_thy "Misc"; |
26782 | 13 |
use_thy "Generic"; |
26840 | 14 |
use_thy "HOL_Specific"; |
26779
35809287ab23
converted refcard.tex to Thy/Quick_Reference.thy;
wenzelm
parents:
26767
diff
changeset
|
15 |
use_thy "Quick_Reference"; |
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
16 |
use_thy "Symbols"; |
26846
2e6726015771
removed obsolete conversion guide -- converted only section on tactics;
wenzelm
parents:
26844
diff
changeset
|
17 |
use_thy "ML_Tactic"; |