Fri, 22 Dec 1995 13:33:40 +0100 | paulson | Added line breaks and other cosmetic changes | file | diff | annotate |
Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |