src/Doc/Isar_Ref/Base.thy
author wenzelm
Wed Mar 25 11:39:52 2015 +0100 (2015-03-25)
changeset 59809 87641097d0f3
parent 56451 856492b0f755
child 61656 cfabbc083977
permissions -rw-r--r--
tuned signature;
wenzelm@42651
     1
theory Base
wenzelm@42651
     2
imports Pure
wenzelm@42651
     3
begin
wenzelm@42651
     4
wenzelm@48958
     5
ML_file "../antiquote_setup.ML"
wenzelm@42651
     6
wenzelm@42651
     7
end