| Fri, 21 Aug 2009 13:23:53 +0200 | boehmes | disabled refute action (needs changes in the code of refute) | changeset | files |
| Fri, 21 Aug 2009 13:21:19 +0200 | boehmes | split actions from Mirabelle core (Mirabelle may thus be applied to basic theories in HOL) | changeset | files |
| Fri, 21 Aug 2009 09:49:10 +0200 | boehmes | moved Mirabelle to HOL/Tools | changeset | files |
| Fri, 21 Aug 2009 09:46:14 +0200 | boehmes | moved Mirabelle to HOL/Tools | changeset | files |
| Fri, 21 Aug 2009 09:44:55 +0200 | boehmes | Mirabelle tool script conforming to standard Isabelle tool interface, | changeset | files |
| Mon, 17 Aug 2009 10:59:12 +0200 | boehmes | made Mirabelle a component | changeset | files |
| Thu, 20 Aug 2009 15:23:25 +0200 | paulson | A few Isar scripts | changeset | files |