ballarin [Sun, 27 Sep 2009 11:50:27 +0200] rev 32803
Archive registrations by external view.
ballarin [Sat, 26 Sep 2009 21:03:57 +0200] rev 32802
Stricter test: raise error if registration generates duplicate theorem.
ballarin [Sat, 19 Sep 2009 18:43:11 +0200] rev 32801
Explicit management of registration mixins.
ballarin [Wed, 19 Aug 2009 19:35:46 +0200] rev 32800
Improved comments and api names.
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;
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;