| Wed, 03 Sep 2008 17:47:40 +0200 | wenzelm | discontinued local axioms -- too difficult to implement, too easy to produce nonsense; | changeset | files |
| Wed, 03 Sep 2008 17:47:38 +0200 | wenzelm | axiomatization is now global-only; | changeset | files |
| Wed, 03 Sep 2008 17:47:37 +0200 | wenzelm | added const_decl; | changeset | files |
| Wed, 03 Sep 2008 17:47:35 +0200 | wenzelm | simplified specify_const: canonical args, global deps; | changeset | files |