src/Doc/System/Base.thy
author haftmann
Mon Feb 06 20:56:34 2017 +0100 (2017-02-06)
changeset 64990 c6a7de505796
parent 61656 cfabbc083977
child 69605 a96320074298
permissions -rw-r--r--
more explicit errors in pathological cases
wenzelm@61656
     1
(*:maxLineLen=78:*)
wenzelm@61656
     2
wenzelm@43564
     3
theory Base
wenzelm@43564
     4
imports Pure
wenzelm@43564
     5
begin
wenzelm@43564
     6
wenzelm@48937
     7
ML_file "../antiquote_setup.ML"
wenzelm@43564
     8
wenzelm@43564
     9
end