1 (* Title: Mirabelle.thy
2 Author: Jasmin Blanchette and Sascha Boehme
3 *)
4
5 theory Mirabelle
6 imports Plain
7 uses "Tools/mirabelle.ML"
8 begin
9
10 setup Mirabelle.setup
11
12 end