Fri, 26 Sep 1997 10:21:14 +0200 | paulson | Minor tidying to use Clarify_tac, etc. | file | diff | annotate |
Fri, 09 May 1997 10:17:41 +0200 | paulson | New equivalence proofs | file | diff | annotate |
Thu, 08 May 1997 12:22:01 +0200 | paulson | New proofs about WHILE and VALOF | file | diff | annotate |
Wed, 07 May 1997 12:50:26 +0200 | paulson | New directory to contain examples of (co)inductive definitions | file | diff | annotate |