Thu, 01 Oct 2009 07:40:25 +0200 Merged.
ballarin [Thu, 01 Oct 2009 07:40:25 +0200] rev 32805
Merged.
Tue, 29 Sep 2009 22:15:54 +0200 Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
ballarin [Tue, 29 Sep 2009 22:15:54 +0200] rev 32804
Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
Sun, 27 Sep 2009 11:50:27 +0200 Archive registrations by external view.
ballarin [Sun, 27 Sep 2009 11:50:27 +0200] rev 32803
Archive registrations by external view.
Sat, 26 Sep 2009 21:03:57 +0200 Stricter test: raise error if registration generates duplicate theorem.
ballarin [Sat, 26 Sep 2009 21:03:57 +0200] rev 32802
Stricter test: raise error if registration generates duplicate theorem.
Sat, 19 Sep 2009 18:43:11 +0200 Explicit management of registration mixins.
ballarin [Sat, 19 Sep 2009 18:43:11 +0200] rev 32801
Explicit management of registration mixins.
Wed, 19 Aug 2009 19:35:46 +0200 Improved comments and api names.
ballarin [Wed, 19 Aug 2009 19:35:46 +0200] rev 32800
Improved comments and api names.
Thu, 01 Oct 2009 01:03:36 +0200 eliminated dead code, redundant bindings and parameters;
wenzelm [Thu, 01 Oct 2009 01:03:36 +0200] rev 32799
eliminated dead code, redundant bindings and parameters; use === term operator, which is defined here; handle Type.TYPE_MATCH, not arbitrary exceptions; misc tuning and simplification;
Thu, 01 Oct 2009 00:32:00 +0200 misc tuning and simplification;
wenzelm [Thu, 01 Oct 2009 00:32:00 +0200] rev 32798
misc tuning and simplification; be explicit about expressions involving infixes with non-obvious priorities; removed dead code; some attempts to recover basic Isabelle coding conventions;
Wed, 30 Sep 2009 23:49:53 +0200 eliminated dead code;
wenzelm [Wed, 30 Sep 2009 23:49:53 +0200] rev 32797
eliminated dead code; eliminated redundant bindings; misc tuning;
Wed, 30 Sep 2009 23:44:23 +0200 eliminated dead code;
wenzelm [Wed, 30 Sep 2009 23:44:23 +0200] rev 32796
eliminated dead code;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip