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;
     1 theory Setup
     2 imports Main
     3 begin
     4 
     5 ML_file "../antiquote_setup.ML"
     6 
     7 end