author | wenzelm |
Sat, 05 Apr 2014 15:03:40 +0200 | |
changeset 56421 | 1ffd7eaa778b |
parent 56059 | 2390391584c2 |
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 |