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