src/Pure/Thy/README
Mon, 06 Sep 1999 12:49:39 +0200 wenzelm added README;
Fri, 21 Nov 1997 15:35:37 +0100 wenzelm comment;
Thu, 08 Sep 1994 13:17:57 +0200 lcp documentation on theories
less more (0) tip