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 |