1998-01-14 wenzelm [Wed, 14 Jan 1998 11:22:03 +0100] rev 4576 Isabelle98
New Jersey inactive;
Admin/index.html

1998-01-14 wenzelm [Wed, 14 Jan 1998 11:21:35 +0100] rev 4575
HOL/record;
NEWS

1998-01-14 narasche [Wed, 14 Jan 1998 11:10:19 +0100] rev 4574
error with instantiantion of sub-records removed
src/HOL/record.ML

1998-01-14 wenzelm [Wed, 14 Jan 1998 10:32:24 +0100] rev 4573
added record.ML;
src/HOL/ROOT.ML

1998-01-14 wenzelm [Wed, 14 Jan 1998 10:31:32 +0100] rev 4572
tuned;
src/HOL/thy_data.ML

1998-01-14 wenzelm [Wed, 14 Jan 1998 10:30:44 +0100] rev 4571
added unit and prod stuff;
src/HOL/hologic.ML

1998-01-14 wenzelm [Wed, 14 Jan 1998 10:30:01 +0100] rev 4570
fixed Id;
src/HOL/Prod.thy

1998-01-14 wenzelm [Wed, 14 Jan 1998 10:28:21 +0100] rev 4569
smlnj-110 factory default;
etc/settings

1998-01-14 wenzelm [Wed, 14 Jan 1998 10:24:57 +0100] rev 4568
added of_sort;
src/Pure/sign.ML

1998-01-13 wenzelm [Tue, 13 Jan 1998 18:03:37 +0100] rev 4567
added base_path;
src/Pure/Thy/browser_info.ML