Fri, 09 May 1997 19:41:46 +0200 | wenzelm | minor tuning; | changeset | files |
Fri, 09 May 1997 19:41:17 +0200 | wenzelm | tuned ref to src; | changeset | files |
Fri, 09 May 1997 10:18:58 +0200 | paulson | New theorems about "assign" | changeset | files |
Fri, 09 May 1997 10:18:07 +0200 | paulson | Fixed precedence of semicolon | changeset | files |
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 |