| Thu, 10 Apr 1997 18:07:27 +0200 | paulson | Updated discussion and references for inductive definitions | file | diff | annotate |
| Wed, 08 Jan 1997 15:17:25 +0100 | paulson | New discussion of implicit simpsets & clasets | file | diff | annotate |
| Thu, 25 Apr 1996 11:44:34 +0200 | paulson | automatic updates | file | diff | annotate |
| Tue, 05 Mar 1996 11:00:48 +0100 | paulson | More up-to-date references | file | diff | annotate |
| Fri, 16 Feb 1996 18:00:47 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Thu, 18 Jan 1996 10:38:29 +0100 | paulson | trivial updates | file | diff | annotate |
| Fri, 08 Dec 1995 13:22:55 +0100 | paulson | trivial, automatic changes | file | diff | annotate |