| Mon, 04 Sep 2000 21:20:14 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Tue, 25 Jul 2000 09:48:39 +0200 | nipkow | new constant same_fst | file | diff | annotate |
| Sun, 16 Jul 2000 20:53:35 +0200 | wenzelm | instance unit :: finite; | file | diff | annotate |
| Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | file | diff | annotate |
| Fri, 18 Feb 2000 20:27:19 +0100 | oheimb | added instance declaration for finite product | file | diff | annotate |
| Thu, 22 May 1997 15:09:37 +0200 | paulson | Deleted rprod: lex_prod is (usually?) enough | file | diff | annotate |
| Tue, 20 May 1997 11:40:28 +0200 | paulson | Relation "less_than" internalizes "<" for easy use of TFL | file | diff | annotate |
| Fri, 16 May 1997 17:40:41 +0200 | nipkow | Distributed Psubset stuff to basic set theory files, incl Finite. | file | diff | annotate |
| Thu, 15 May 1997 12:45:42 +0200 | paulson | New theories used by TFL | file | diff | annotate |