src/HOL/ex/Mirabelle/Mirabelle.thy
changeset 32381 11542bebe4d4
child 32382 98674ac811c4
equal deleted inserted replaced
32365:9b74d0339c44 32381:11542bebe4d4
       
     1 (* Title: Mirabelle.thy
       
     2    Author: Jasmin Blanchette and Sascha Boehme
       
     3 *)
       
     4 
       
     5 theory Mirabelle
       
     6 imports Main
       
     7 uses "mirabelle.ML"
       
     8 begin
       
     9 
       
    10 (* FIXME: use a logfile for each theory file *)
       
    11 
       
    12 setup Mirabelle.setup
       
    13 
       
    14 end