isabelle: Changelog

wenzelm [Wed, 22 Dec 1999 20:29:59 +0100] rev 8079

raw_t(e)xt: any proof mode;

wenzelm [Wed, 22 Dec 1999 20:29:36 +0100] rev 8078

fixed error msg;

wenzelm [Wed, 22 Dec 1999 20:29:19 +0100] rev 8077

marg_comment: repeat;

wenzelm [Wed, 22 Dec 1999 20:28:56 +0100] rev 8076

text: string list;

paulson [Wed, 22 Dec 1999 17:20:01 +0100] rev 8075

tidied, with a bit more progress

paulson [Wed, 22 Dec 1999 17:18:03 +0100] rev 8074

Working version after a FAILED attempt to base Follows upon LeadsETo

paulson [Wed, 22 Dec 1999 17:16:53 +0100] rev 8073

new weakening laws

paulson [Wed, 22 Dec 1999 17:16:23 +0100] rev 8072

removing the "{} : CC" requirement for leadsTo[CC]

kleing [Wed, 22 Dec 1999 16:13:29 +0100] rev 8071

back to old sml version (due to c library problems)

kleing [Wed, 22 Dec 1999 16:12:38 +0100] rev 8070

some tuning (incorporated David's suggestions)

isabelle