src/Doc/Datatypes/Setup.thy
author haftmann
Mon Feb 06 20:56:34 2017 +0100 (2017-02-06)
changeset 64990 c6a7de505796
parent 56059 2390391584c2
child 69605 a96320074298
permissions -rw-r--r--
more explicit errors in pathological cases
blanchet@52822
     1
theory Setup
blanchet@55073
     2
imports Main
blanchet@52822
     3
begin
blanchet@52822
     4
blanchet@52822
     5
ML_file "../antiquote_setup.ML"
blanchet@52822
     6
blanchet@52822
     7
end