isabelle: Changelog

paulson [Wed, 31 May 2000 11:55:21 +0200] rev 9002

new theorems (some from Multiset)

berghofe [Tue, 30 May 2000 18:02:49 +0200] rev 9001

the is now defined using primrec, avoiding explicit use of arbitrary.

wenzelm [Tue, 30 May 2000 16:08:38 +0200] rev 9000

cleaned up;

wenzelm [Tue, 30 May 2000 16:03:09 +0200] rev 8999

global timing flag;

wenzelm [Tue, 30 May 2000 16:02:56 +0200] rev 8998

fixed comment;

wenzelm [Tue, 30 May 2000 16:02:27 +0200] rev 8997

renamed trace/stat_norm_ast to trace/stat_ast;

wenzelm [Tue, 30 May 2000 16:01:29 +0200] rev 8996

renamed Syntax.trace_norm_ast to Syntax.trace_ast; removed Syntax.stat_norm_ast;

wenzelm [Tue, 30 May 2000 16:00:55 +0200] rev 8995

proof_timing replaced by global timing;

wenzelm [Tue, 30 May 2000 16:00:19 +0200] rev 8994

* ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global timing flag supersedes proof_timing and Toplevel.trace;

wenzelm [Sun, 28 May 2000 21:58:29 +0200] rev 8993

Collect_neg_eq;

isabelle