| Thu, 04 Oct 2001 15:19:56 +0200 | wenzelm | qualify MetaSimplifier; | file | diff | annotate |
| Fri, 28 Sep 2001 19:23:35 +0200 | wenzelm | prove: ``strict'' argument; | file | diff | annotate |
| Tue, 16 Jan 2001 00:40:57 +0100 | wenzelm | renamed Product_Type.split to split_conv; | file | diff | annotate |
| Thu, 04 Jan 2001 19:41:13 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Wed, 03 Jan 2001 21:20:40 +0100 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |