src/Pure/Thy/README
1994-09-08 lcp 1994-09-08 documentation on theories