| 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 |
| Fri, 14 Aug 2009 15:36:57 +0200 | haftmann | inserted space into message | changeset | files |
| Fri, 14 Aug 2009 15:36:55 +0200 | haftmann | formally stylized | changeset | files |
| Fri, 14 Aug 2009 15:36:54 +0200 | haftmann | formally stylized | changeset | files |
| Fri, 14 Aug 2009 15:36:53 +0200 | haftmann | corrected Pair to Char | changeset | files |