Wed, 14 Apr 2010 18:46:59 +0200 | Christian Urban | thmdecls can deal with lemmas like alpha_gen which contain pairs or tuples | changeset | files |
Wed, 14 Apr 2010 16:11:04 +0200 | Cezary Kaliszyk | merge | changeset | files |
Wed, 14 Apr 2010 16:10:44 +0200 | Cezary Kaliszyk | merge | changeset | files |