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 |