| Wed, 15 Nov 2006 20:50:24 +0100 | wenzelm | add_locale: re-init result context (avoids subtle modifications after introducing predicate views internally); | changeset | files |
| Wed, 15 Nov 2006 20:50:23 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 15 Nov 2006 20:50:22 +0100 | wenzelm | replaced NameSpace.append by NameSpace.qualified, which handles empty names as expected; | changeset | files |