| Wed, 22 May 2002 18:11:57 +0200 | paulson | tidying up | file | diff | annotate |
| Tue, 21 May 2002 18:25:28 +0200 | paulson | conversion of OrdQuant.ML to Isar | file | diff | annotate |
| Tue, 21 May 2002 13:06:36 +0200 | paulson | converted domrange to Isar and merged with equalities | file | diff | annotate |
| Mon, 20 May 2002 11:45:57 +0200 | paulson | conversion of equalities and WF to Isar | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
| Mon, 15 Aug 1994 18:07:03 +0200 | lcp | ZF/equalities/Sigma_cons: new | file | diff | annotate |
| Tue, 16 Nov 1993 14:24:21 +0100 | clasohm | made pseudo theories for all ML files; | file | diff | annotate |