Fri, 04 Aug 2000 22:56:11 +0200 removed stac (now exported by HypsubstFun);
wenzelm [Fri, 04 Aug 2000 22:56:11 +0200] rev 9527
removed stac (now exported by HypsubstFun);
Fri, 04 Aug 2000 22:55:08 +0200 setup hypsubst_setup;
wenzelm [Fri, 04 Aug 2000 22:55:08 +0200] rev 9526
setup hypsubst_setup;
Fri, 04 Aug 2000 22:54:49 +0200 lemmas atomize = all_eq imp_eq;
wenzelm [Fri, 04 Aug 2000 22:54:49 +0200] rev 9525
lemmas atomize = all_eq imp_eq;
Fri, 04 Aug 2000 22:54:34 +0200 added rev_eq_reflection;
wenzelm [Fri, 04 Aug 2000 22:54:34 +0200] rev 9524
added rev_eq_reflection;
Fri, 04 Aug 2000 22:53:44 +0200 subgoals_tac: fixed spelling;
wenzelm [Fri, 04 Aug 2000 22:53:44 +0200] rev 9523
subgoals_tac: fixed spelling;
Fri, 04 Aug 2000 11:47:28 +0200 invoke isatool make in any dir containing an IsaMakefile;
wenzelm [Fri, 04 Aug 2000 11:47:28 +0200] rev 9522
invoke isatool make in any dir containing an IsaMakefile;
Fri, 04 Aug 2000 11:23:17 +0200 updated;
wenzelm [Fri, 04 Aug 2000 11:23:17 +0200] rev 9521
updated;
Fri, 04 Aug 2000 11:22:59 +0200 targets for images, test, all;
wenzelm [Fri, 04 Aug 2000 11:22:59 +0200] rev 9520
targets for images, test, all;
Fri, 04 Aug 2000 10:59:28 +0200 updated;
wenzelm [Fri, 04 Aug 2000 10:59:28 +0200] rev 9519
updated;
Fri, 04 Aug 2000 10:59:22 +0200 tuned;
wenzelm [Fri, 04 Aug 2000 10:59:22 +0200] rev 9518
tuned;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip