Mon, 13 Jul 1998 17:46:20 +0200 | nipkow | Corrected dead link. | changeset | files |
Mon, 13 Jul 1998 16:43:57 +0200 | paulson | Huge tidy-up: removal of leading \!\! | changeset | files |
Mon, 13 Jul 1998 16:42:27 +0200 | paulson | massive tidying of proofs | changeset | files |
Mon, 13 Jul 1998 16:41:30 +0200 | paulson | renamed mutex to Acts | changeset | files |
Mon, 13 Jul 1998 16:04:39 +0200 | nipkow | Replace awkward primrec by recdef. | changeset | files |
Mon, 13 Jul 1998 16:04:22 +0200 | nipkow | swapped condition in update_apply. | changeset | files |
Sun, 12 Jul 1998 11:49:17 +0200 | wenzelm | isatool expandshort; | changeset | files |