| Tue, 21 May 1996 10:50:40 +0200 | nipkow | Updated url. | changeset | files |
| Mon, 20 May 1996 18:41:55 +0200 | nipkow | Added thm I_complete_wrt_W to I. | changeset | files |
| Mon, 20 May 1996 10:11:30 +0200 | berghofe | replaced result() by qed "sorted_insort" in last proof | changeset | files |
| Fri, 17 May 1996 16:22:23 +0200 | nipkow | Added missing default clause | top_const _ = None; | changeset | files |
| 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 |