| Tue, 03 Apr 2012 10:04:41 +0200 | wenzelm | avoid const_declaration in aux. context (cf. locale_foundation); | changeset | files |
| Tue, 03 Apr 2012 09:47:20 +0200 | wenzelm | clarified background_foundation vs. theory_foundation (with const_declaration); | changeset | files |
| Tue, 03 Apr 2012 09:41:16 +0200 | wenzelm | tuned; | changeset | files |