Wed, 13 Jan 1999 15:18:02 +0100 fixed titles;
wenzelm [Wed, 13 Jan 1999 15:18:02 +0100] rev 6118
fixed titles;
Wed, 13 Jan 1999 15:14:47 +0100 tidying of datatype and inductive definitions
paulson [Wed, 13 Jan 1999 15:14:47 +0100] rev 6117
tidying of datatype and inductive definitions
Wed, 13 Jan 1999 12:44:33 +0100 files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
wenzelm [Wed, 13 Jan 1999 12:44:33 +0100] rev 6116
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip