| Wed, 04 Aug 2004 11:25:08 +0200 | nipkow | aded comment | file | diff | annotate |
| Tue, 03 Aug 2004 13:48:00 +0200 | paulson | new simprules Int_subset_iff and Un_subset_iff | file | diff | annotate |
| Sun, 01 Sep 2002 19:39:25 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 18 Jan 2002 18:30:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 10 Jan 2002 11:22:03 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 13 Dec 2001 16:48:34 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 12 Dec 2001 09:04:20 +0100 | nipkow | *** empty log message *** | file | diff | annotate |