| Fri, 17 May 1996 16:08:06 +0200 | nipkow | Added if_image_distrib. | changeset | files |
| Fri, 17 May 1996 12:24:47 +0200 | nipkow | Had to rename params because variable names in an induction rule changed. | changeset | files |
| Fri, 17 May 1996 12:23:44 +0200 | nipkow | Moved split_rule et al from ind_syntax.ML to Prod.ML. | changeset | files |
| Wed, 15 May 1996 13:51:15 +0200 | paulson | Deleted spurious line break | changeset | files |
| Fri, 10 May 1996 17:41:10 +0200 | paulson | Corrected and augmented timings | changeset | files |
| Fri, 10 May 1996 17:03:17 +0200 | paulson | Updated for new form of induction rules | changeset | files |
| Thu, 09 May 1996 11:46:32 +0200 | paulson | Updated for new form of induction rules | changeset | files |