src/Pure/Thy/README
1999-10-05 wenzelm 1999-10-05 updated;
1999-09-06 wenzelm 1999-09-06 added README;
1997-11-21 wenzelm 1997-11-21 comment;
1994-09-08 lcp 1994-09-08 documentation on theories