src/Doc/Datatypes/Setup.thy
author wenzelm
Mon Oct 30 20:04:10 2017 +0100 (22 months ago)
changeset 66946 3d8fd98c7c86
parent 56059 2390391584c2
child 69605 a96320074298
permissions -rw-r--r--
ROOT cleanup: empty 'document_files' means there is no document;
blanchet@52822
     1
theory Setup
blanchet@55073
     2
imports Main
blanchet@52822
     3
begin
blanchet@52822
     4
blanchet@52822
     5
ML_file "../antiquote_setup.ML"
blanchet@52822
     6
blanchet@52822
     7
end