isabelle: Changelog

berghofe [Fri, 23 Oct 1998 12:54:37 +0200] rev 5736

Removed obsolete theory Simult (see theory Term).

wenzelm [Fri, 23 Oct 1998 12:31:23 +0200] rev 5735

started to add records;

paulson [Fri, 23 Oct 1998 11:03:35 +0200] rev 5734

occurs check now handles Bound variables (for soundness)

wenzelm [Fri, 23 Oct 1998 10:38:20 +0200] rev 5733

updated by isatool logo;

wenzelm [Thu, 22 Oct 1998 20:15:26 +0200] rev 5732

tuned block indent;

wenzelm [Thu, 22 Oct 1998 20:13:21 +0200] rev 5731

current_goals_markers;

wenzelm [Thu, 22 Oct 1998 20:11:19 +0200] rev 5730

some additions for Proof General by David Aspinall;

wenzelm [Thu, 22 Oct 1998 20:07:42 +0200] rev 5729

support current_goals_markers ref variable for print_current_goals;

wenzelm [Thu, 22 Oct 1998 12:35:40 +0200] rev 5728

eliminated 'let ... in structure ...' to make SML/NJ 0.93 happy;

wenzelm [Thu, 22 Oct 1998 12:32:42 +0200] rev 5727

fixed index.html;

isabelle