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
     1 theory Setup
     2 imports Main
     3 begin
     4 
     5 ML_file "../antiquote_setup.ML"
     6 
     7 end