Fri, 09 May 1997 10:17:41 +0200 | paulson | New equivalence proofs | changeset | files |
Thu, 08 May 1997 12:22:01 +0200 | paulson | New proofs about WHILE and VALOF | changeset | files |
Thu, 08 May 1997 11:44:59 +0200 | nipkow | Modified def of Least, which, as Markus correctly complained, looked like | changeset | files |