Wed, 10 Oct 2007 17:31:54 +0200 improved abs_def: only abstract over outermost (unique) Vars;
wenzelm [Wed, 10 Oct 2007 17:31:54 +0200] rev 24947
improved abs_def: only abstract over outermost (unique) Vars;
Wed, 10 Oct 2007 17:31:53 +0200 proper latex antiquotations instead of adhoc escapes;
wenzelm [Wed, 10 Oct 2007 17:31:53 +0200] rev 24946
proper latex antiquotations instead of adhoc escapes;
Wed, 10 Oct 2007 17:31:52 +0200 updated;
wenzelm [Wed, 10 Oct 2007 17:31:52 +0200] rev 24945
updated;
Wed, 10 Oct 2007 16:29:11 +0200 added no_notation;
wenzelm [Wed, 10 Oct 2007 16:29:11 +0200] rev 24944
added no_notation;
Wed, 10 Oct 2007 15:05:42 +0200 removed dead code
paulson [Wed, 10 Oct 2007 15:05:42 +0200] rev 24943
removed dead code
Wed, 10 Oct 2007 15:05:34 +0200 more metis proofs
paulson [Wed, 10 Oct 2007 15:05:34 +0200] rev 24942
more metis proofs
Wed, 10 Oct 2007 10:55:37 +0200 Prepare proper interface of interpretation_i, interpret_i.
ballarin [Wed, 10 Oct 2007 10:55:37 +0200] rev 24941
Prepare proper interface of interpretation_i, interpret_i.
Wed, 10 Oct 2007 10:50:11 +0200 getting rid of type typ_var
paulson [Wed, 10 Oct 2007 10:50:11 +0200] rev 24940
getting rid of type typ_var
Tue, 09 Oct 2007 19:48:55 +0200 tuned;
wenzelm [Tue, 09 Oct 2007 19:48:55 +0200] rev 24939
tuned;
Tue, 09 Oct 2007 19:48:54 +0200 class: print result is for locale;
wenzelm [Tue, 09 Oct 2007 19:48:54 +0200] rev 24938
class: print result is for locale;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip