| 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 |