src/Pure/General/ROOT.ML
Mon, 18 Jan 1999 21:12:42 +0100 wenzelm structure Graph = Graph;
Mon, 18 Jan 1999 21:08:27 +0100 wenzelm added General/graph.ML: generic direct graphs;
Wed, 13 Jan 1999 12:44:33 +0100 wenzelm files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
Sat, 14 Nov 1998 13:26:11 +0100 wenzelm prefixed op;
Tue, 16 Jun 1998 18:37:34 +0200 wenzelm added General/history.ML;
Wed, 10 Jun 1998 11:55:30 +0200 wenzelm General tools.
less more (0) tip