| Tue, 31 May 2005 11:53:28 +0200 | wenzelm | renamed cond_extern to extern; | changeset | files |
| Tue, 31 May 2005 11:53:27 +0200 | wenzelm | tuned arrangement of structures; | changeset | files |
| Tue, 31 May 2005 11:53:26 +0200 | wenzelm | added eq_thms; | changeset | files |
| Tue, 31 May 2005 11:53:25 +0200 | wenzelm | added qualified_names, no_base_names, custom_accesses, set_policy, restore_naming; | changeset | files |