| Tue, 02 Sep 2008 14:10:32 +0200 | wenzelm | explicit type Name.binding for higher-specification elements; | changeset | files |
| Tue, 02 Sep 2008 14:10:31 +0200 | wenzelm | explicit type Name.binding for higher-specification elements; | changeset | files |
| Tue, 02 Sep 2008 14:10:30 +0200 | wenzelm | explicit type Name.binding for higher-specification elements; | changeset | files |
| Tue, 02 Sep 2008 14:10:29 +0200 | wenzelm | explicit type Name.binding for higher-specification elements; | changeset | files |
| Tue, 02 Sep 2008 14:10:28 +0200 | wenzelm | added binding; | changeset | files |
| Tue, 02 Sep 2008 14:10:27 +0200 | wenzelm | added fixed_decl, fact_decl, local_fact_decl; | changeset | files |
| Tue, 02 Sep 2008 14:10:25 +0200 | wenzelm | name_thm etc.: pass position; | changeset | files |