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 |