src/Pure/General/README
1999-01-18 wenzelm 1999-01-18 GraphFun (generic directed graphs); Graph (graphs indexed by strings);
1999-01-13 wenzelm 1999-01-13 files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;