| 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 |
| Tue, 10 Oct 2006 12:08:12 +0200 | haftmann | initial draft | changeset | files |
| Tue, 10 Oct 2006 11:41:29 +0200 | haftmann | *** empty log message *** | changeset | files |
| Tue, 10 Oct 2006 11:38:43 +0200 | haftmann | initial draft | changeset | files |