| Tue, 28 Nov 2000 01:09:13 +0100 | wenzelm | consumes0/1; | file | diff | annotate |
| Fri, 10 Nov 2000 19:06:54 +0100 | wenzelm | Sign.certify_tycon, Sign.certify_const; | file | diff | annotate |
| Thu, 19 Oct 2000 21:18:15 +0200 | wenzelm | split over two files: induct_attrib.ML, induct_method.ML; | file | diff | annotate |