| Fri, 21 Aug 2009 19:06:12 +0200 |
krauss |
fix IsaMakefile, removing mirabelle (not in HOL/ex/ROOT.ML anyway)
|
changeset |
files
|
| Fri, 21 Aug 2009 13:38:57 +0200 |
boehmes |
added Mirabelle to NEWS
|
changeset |
files
|
| Fri, 21 Aug 2009 13:25:05 +0200 |
boehmes |
merged
|
changeset |
files
|
| 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
|
| Sat, 15 Aug 2009 15:29:54 +0200 |
haftmann |
additional checkpoints avoid problems in error situations
|
changeset |
files
|
| Sat, 15 Aug 2009 15:29:53 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 14 Aug 2009 21:36:14 +0200 |
krauss |
removed atp_minimize invocation
|
changeset |
files
|
| Fri, 14 Aug 2009 21:28:58 +0200 |
krauss |
reverted accidential corruption of superscripts introduced in a508148f7c25
|
changeset |
files
|
| Fri, 14 Aug 2009 17:27:34 +0200 |
haftmann |
merged
|
changeset |
files
|