| Sat, 27 Apr 1996 12:07:31 +0200 | nipkow | Added R_O_id and id_O_R | file | diff | annotate |
| Thu, 04 Apr 1996 11:45:01 +0200 | paulson | Using new "Times" infix | file | diff | annotate |
| Mon, 25 Mar 1996 11:13:59 +0100 | nipkow | added converse_converse | file | diff | annotate |
| 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 |