| Tue, 10 Oct 2006 16:26:59 +0200 | urbanc | made some proof look more like the ones in Barendregt | changeset | files |
| Tue, 10 Oct 2006 15:33:25 +0200 | paulson | A way to call the ATP linkup from ML scripts | changeset | files |
| Tue, 10 Oct 2006 15:30:48 +0200 | paulson | Combinators require the theory name; added settings for SPASS | changeset | files |
| Tue, 10 Oct 2006 13:59:16 +0200 | haftmann | stripped pointless head | changeset | files |
| Tue, 10 Oct 2006 13:59:13 +0200 | haftmann | gen_rem(s) abandoned in favour of remove / subtract | changeset | files |
| Tue, 10 Oct 2006 13:59:12 +0200 | haftmann | added IsarAdvanced material | changeset | files |
| Tue, 10 Oct 2006 13:50:33 +0200 | krauss | Induction rules have schematic variables again. | changeset | files |