equal
deleted
inserted
replaced
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 |
|