Thu, 12 Sep 1996 10:36:06 +0200 | paulson | Simplification and tidying of definitions | file | diff | annotate |
Sat, 27 Apr 1996 12:09:21 +0200 | nipkow | Generalized types of some of the operators (thanks to Norbert Voelker) | file | diff | annotate |
Mon, 05 Feb 1996 21:27:16 +0100 | clasohm | expanded tabs; renamed subtype to typedef; | file | diff | annotate |
Fri, 26 Jan 1996 20:25:39 +0100 | nipkow | Streamlined defs in Relation and added new intro/elim rules to do with | file | diff | annotate |
Fri, 26 May 1995 18:11:47 +0200 | nipkow | Trancl is now based on Relation which used to be in Integ. | file | diff | annotate |