author | wenzelm |
Mon, 27 Jun 2011 22:20:49 +0200 | |
changeset 43564 | 9864182c6bad |
parent 40110 | 93e7935d4cb5 |
child 48891 | c0eafbd55de3 |
permissions | -rw-r--r-- |
29755 | 1 |
theory Base |
39846 | 2 |
imports Main |
21374 | 3 |
uses "../../antiquote_setup.ML" |
18537 | 4 |
begin |
30272 | 5 |
|
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 |