src/Doc/Datatypes/Setup.thy
author blanchet
Tue Nov 07 15:16:42 2017 +0100 (21 months ago)
changeset 67022 49309fe530fd
parent 56059 2390391584c2
child 69605 a96320074298
permissions -rw-r--r--
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
     1 theory Setup
     2 imports Main
     3 begin
     4 
     5 ML_file "../antiquote_setup.ML"
     6 
     7 end