| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
| Fri, 29 Jul 1994 15:32:17 +0200 | nipkow | some small simplifications | file | diff | annotate |
| Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |