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