Wed, 06 Mar 1996 12:52:11 +0100 | paulson | Ran expandshort | file | diff | annotate |
Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | 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 |
Wed, 04 Oct 1995 13:10:03 +0100 | clasohm | added local simpsets; removed IOA from 'make test' | 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 |