isabelle: Changelog

wenzelm [Tue, 23 Oct 2001 22:54:01 +0200] rev 11911

build option enables most basic browser info (for proper recording of session);

wenzelm [Tue, 23 Oct 2001 22:53:08 +0200] rev 11910

build option;

wenzelm [Tue, 23 Oct 2001 22:52:45 +0200] rev 11909

tuned;

wenzelm [Tue, 23 Oct 2001 22:52:31 +0200] rev 11908

eliminated old numerals;

wenzelm [Tue, 23 Oct 2001 22:51:30 +0200] rev 11907

pass build mode to process;

wenzelm [Tue, 23 Oct 2001 19:15:00 +0200] rev 11906

removed export_thm;

wenzelm [Tue, 23 Oct 2001 19:14:47 +0200] rev 11905

trace_rules: only non-empty;

wenzelm [Tue, 23 Oct 2001 19:14:31 +0200] rev 11904

removed obsolete "exported" att;

wenzelm [Tue, 23 Oct 2001 19:14:13 +0200] rev 11903

replace_dummy_patterns: lift over bounds;

wenzelm [Tue, 23 Oct 2001 19:13:44 +0200] rev 11902

iff: always rotate prems;

isabelle