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;
wenzelm [Tue, 23 Oct 2001 19:13:17 +0200] rev 11901
apply(simp add: three_def numerals) (* FIXME !? *);
wenzelm [Tue, 23 Oct 2001 19:12:58 +0200] rev 11900
unset DISPLAY (again);
wenzelm [Tue, 23 Oct 2001 19:12:37 +0200] rev 11899
* Pure: removed obsolete 'exported' attribute;
* Pure: dummy pattern "_" in is/let is now automatically ``lifted''
over bound variables: "ALL x. P x --> Q x" (is "ALL x. _ --> ?C x")
supersedes more cumbersome ... (is "ALL x. _ x --> ?C x");