| Wed, 29 Jun 1994 12:04:04 +0200 | clasohm | added parentheses made necessary by change of constrain's precedence | file | diff | annotate |
| Wed, 25 May 1994 12:43:50 +0200 | lcp | HOL/equalities: added some identities from ZF/equalities | file | diff | annotate |
| Tue, 22 Mar 1994 08:31:58 +0100 | nipkow | Updated simpsets and a few proofs. | file | diff | annotate |
| Thu, 17 Mar 1994 14:08:08 +0100 | lcp | HOL/equalities/Int_Union_image, Un_Inter_image: renamed Int_Union, Un_Inter | file | diff | annotate |
| Thu, 30 Dec 1993 10:19:44 +0100 | nipkow | added x ~: {} and x : insert(y,A) = ... | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |