| Mon, 16 Mar 1998 16:50:50 +0100 | paulson | inverse -> converse | file | diff | annotate |
| Thu, 08 Jan 1998 17:56:32 +0100 | oheimb | added Univalent | file | diff | annotate |
| Fri, 04 Jul 1997 14:37:30 +0200 | nipkow | Reduced priority of postfix ^* etc operators such that they are the same as | file | diff | annotate |
| Tue, 17 Jun 1997 09:01:56 +0200 | nipkow | converse -> ^-1 | file | diff | annotate |
| 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 |