author | boehmes |
Fri, 21 Aug 2009 09:46:14 +0200 | |
changeset 32383 | 521065a499c6 |
parent 32382 | src/HOL/ex/Mirabelle/Mirabelle.thy@98674ac811c4 |
child 32385 | 594890623c46 |
permissions | -rw-r--r-- |
32381 | 1 |
(* Title: Mirabelle.thy |
2 |
Author: Jasmin Blanchette and Sascha Boehme |
|
3 |
*) |
|
4 |
||
5 |
theory Mirabelle |
|
32382
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
6 |
imports Plain |
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
7 |
uses "Tools/mirabelle.ML" |
32381 | 8 |
begin |
9 |
||
10 |
setup Mirabelle.setup |
|
11 |
||
12 |
end |