| Thu, 26 Sep 1996 15:14:23 +0200 | paulson | Ran expandshort; used stac instead of ssubst | file | diff | annotate |
| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 16 Dec 1994 13:44:48 +0100 | lcp | converse_converse, converse_prod: renamed from | file | diff | annotate |
| Wed, 07 Dec 1994 13:12:04 +0100 | clasohm | added qed and qed_goal[w] | file | diff | annotate |
| Thu, 03 Nov 1994 12:23:19 +0100 | lcp | ZF/domrange/converse_iff: new | file | diff | annotate |
| Mon, 31 Oct 1994 18:11:12 +0100 | lcp | ZF/domrange/image_subset: tidied | file | diff | annotate |
| Tue, 16 Aug 1994 19:09:43 +0200 | lcp | ZF/domrange/domain_of_prod, domain_empty, etc: moved to equalities.ML where | file | diff | annotate |
| Thu, 30 Sep 1993 10:10:21 +0100 | lcp | ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |