src/Doc/Isar_Ref/Base.thy
author wenzelm
Mon Oct 09 21:12:22 2017 +0200 (23 months ago)
changeset 66822 4642cf4a7ebb
parent 62312 5e5a881ebc12
child 69605 a96320074298
permissions -rw-r--r--
tuned signature;
     1 (*:maxLineLen=78:*)
     2 
     3 theory Base
     4 imports Pure
     5 begin
     6 
     7 ML_file "../antiquote_setup.ML"
     8 
     9 end