Tue, 12 Sep 2000 10:27:16 +0200 | paulson | tidying and updating for revised Mutilated Chess Board article | file | diff | annotate |
Wed, 24 May 2000 18:41:49 +0200 | paulson | replacing "below" by "lessThan" | file | diff | annotate |
Tue, 02 May 2000 18:55:11 +0200 | paulson | modified for new simprocs | file | diff | annotate |
Mon, 27 Mar 2000 16:25:53 +0200 | paulson | simplified constant "colored" | file | diff | annotate |
Thu, 09 Mar 2000 18:27:18 +0100 | paulson | nicely tarted up Mutil | file | diff | annotate |
Sat, 04 Mar 2000 12:02:41 +0100 | paulson | tidied | file | diff | annotate |
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 |