Mon, 17 Mar 2008 18:37:02 +0100 | wenzelm | renamed K3_imp_Gets variant to K3_imp_Gets_evs; | changeset | files |
Mon, 17 Mar 2008 18:37:00 +0100 | wenzelm | removed duplicate lemmas; | changeset | files |
Mon, 17 Mar 2008 18:36:04 +0100 | wenzelm | closeup: recover original order of free variables! | changeset | files |