isabelle: Changelog

wenzelm [Sat, 04 Sep 1999 21:02:19 +0200] rev 7470

eliminated default_name (thms no longer stored for name "");

wenzelm [Sat, 04 Sep 1999 21:01:18 +0200] rev 7469

ProtoPure: fake empty scope;

wenzelm [Sat, 04 Sep 1999 21:00:20 +0200] rev 7468

equal_lists: ('a * 'b -> bool) -> 'a list * 'b list -> bool;

wenzelm [Sat, 04 Sep 1999 20:59:33 +0200] rev 7467

handle Bind!!

wenzelm [Sat, 04 Sep 1999 20:57:32 +0200] rev 7466

updated;

wenzelm [Sat, 04 Sep 1999 20:55:52 +0200] rev 7465

added \indexisarvar;

wenzelm [Sat, 04 Sep 1999 20:55:26 +0200] rev 7464

removed \VVar;

wenzelm [Fri, 03 Sep 1999 18:30:14 +0200] rev 7463

usage: tell OPTIONS;

wenzelm [Fri, 03 Sep 1999 18:17:51 +0200] rev 7462

added welcome;

wenzelm [Fri, 03 Sep 1999 18:16:54 +0200] rev 7461

usage: tell ISABELLE_USEDIR_OPTIONS;

isabelle