| 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 |