author | wenzelm |
Wed, 05 Nov 2014 20:20:57 +0100 | |
changeset 58903 | 38c72f5f6c2e |
parent 56420 | b266e7a86485 |
child 61656 | cfabbc083977 |
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 |
|
18537 | 7 |
end |