| Tue, 03 Apr 2012 11:28:21 +0200 | wenzelm | clarified generic_const vs. close_schematic_term; | changeset | files |
| Tue, 03 Apr 2012 11:21:17 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 03 Apr 2012 10:59:20 +0200 | wenzelm | more uniform theory_abbrev with const_declaration; | changeset | files |
| Tue, 03 Apr 2012 10:04:41 +0200 | wenzelm | avoid const_declaration in aux. context (cf. locale_foundation); | changeset | files |