| changeset 32383 | 521065a499c6 |
| parent 32382 | 98674ac811c4 |
| child 32385 | 594890623c46 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Tools/Mirabelle/Mirabelle.thy Fri Aug 21 09:46:14 2009 +0200 @@ -0,0 +1,12 @@ +(* Title: Mirabelle.thy + Author: Jasmin Blanchette and Sascha Boehme +*) + +theory Mirabelle +imports Plain +uses "Tools/mirabelle.ML" +begin + +setup Mirabelle.setup + +end