src/Doc/Implementation/Base.thy
author wenzelm
Wed Mar 25 11:39:52 2015 +0100 (2015-03-25)
changeset 59809 87641097d0f3
parent 56420 b266e7a86485
child 61656 cfabbc083977
permissions -rw-r--r--
tuned signature;
wenzelm@29755
     1
theory Base
wenzelm@39846
     2
imports Main
wenzelm@18537
     3
begin
wenzelm@30272
     4
wenzelm@48938
     5
ML_file "../antiquote_setup.ML"
wenzelm@43564
     6
wenzelm@18537
     7
end