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 |