src/Doc/JEdit/Base.thy
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (4 months ago)
changeset 69981 3dced198b9ec
parent 69605 a96320074298
permissions -rw-r--r--
more strict AFP properties;
     1 (*:maxLineLen=78:*)
     2 
     3 theory Base
     4 imports Main
     5 begin
     6 
     7 ML_file \<open>../antiquote_setup.ML\<close>
     8 
     9 end