author | wenzelm |
Mon, 27 Aug 2012 17:11:55 +0200 | |
changeset 48938 | d468d72a458f |
parent 48891 | doc-src/IsarImplementation/Thy/Base.thy@c0eafbd55de3 |
permissions | -rw-r--r-- |
29755 | 1 |
theory Base |
39846 | 2 |
imports Main |
18537 | 3 |
begin |
30272 | 4 |
|
48938
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48891
diff
changeset
|
5 |
ML_file "../antiquote_setup.ML" |
43564
9864182c6bad
document antiquotations are managed as theory data, with proper name space and entity markup;
wenzelm
parents:
40110
diff
changeset
|
6 |
setup {* Antiquote_Setup.setup *} |
9864182c6bad
document antiquotations are managed as theory data, with proper name space and entity markup;
wenzelm
parents:
40110
diff
changeset
|
7 |
|
18537 | 8 |
end |