| Tue, 03 Apr 2012 16:10:34 +0200 | wenzelm | better drop background syntax if entity depends on parameters; | changeset | files |
| Tue, 03 Apr 2012 14:37:16 +0200 | wenzelm | more uniform abbrev vs. define; | changeset | files |
| Tue, 03 Apr 2012 13:47:15 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Tue, 03 Apr 2012 09:47:20 +0200 | wenzelm | clarified background_foundation vs. theory_foundation (with const_declaration); | changeset | files |