src/Doc/JEdit/Base.thy
author wenzelm
Wed Mar 25 11:39:52 2015 +0100 (2015-03-25)
changeset 59809 87641097d0f3
parent 56059 2390391584c2
child 61656 cfabbc083977
permissions -rw-r--r--
tuned signature;
     1 theory Base
     2 imports Main
     3 begin
     4 
     5 ML_file "../antiquote_setup.ML"
     6 
     7 end