| changeset 32382 | 98674ac811c4 |
| parent 32381 | 11542bebe4d4 |
| 32381:11542bebe4d4 | 32382:98674ac811c4 |
|---|---|
1 (* Title: Mirabelle.thy |
1 (* Title: Mirabelle.thy |
2 Author: Jasmin Blanchette and Sascha Boehme |
2 Author: Jasmin Blanchette and Sascha Boehme |
3 *) |
3 *) |
4 |
4 |
5 theory Mirabelle |
5 theory Mirabelle |
6 imports Main |
6 imports Plain |
7 uses "mirabelle.ML" |
7 uses "Tools/mirabelle.ML" |
8 begin |
8 begin |
9 |
|
10 (* FIXME: use a logfile for each theory file *) |
|
11 |
9 |
12 setup Mirabelle.setup |
10 setup Mirabelle.setup |
13 |
11 |
14 end |
12 end |