Wed, 18 Nov 1998 15:10:46 +0100 | paulson | Finally removing "Compl" from HOL | file | diff | annotate |
Fri, 06 Jun 1997 10:47:16 +0200 | paulson | Tidying and simplification of declarations | file | diff | annotate |
Wed, 07 May 1997 12:50:26 +0200 | paulson | New directory to contain examples of (co)inductive definitions | file | diff | annotate |