src/Pure/README
1993-10-04 ago Pure/ROOT.ML
1993-09-16 ago Initial revision