src/Doc/JEdit/Base.thy
author wenzelm
Thu, 31 Oct 2013 16:10:35 +0100
changeset 54354 4e6defdc24ac
parent 53769 036e80175bdd
child 56059 2390391584c2
permissions -rw-r--r--
more on automatically tried tools;

theory Base
imports Main
begin

ML_file "../antiquote_setup.ML"
setup Antiquote_Setup.setup

end