Tue, 24 Sep 2013 23:51:32 +0200 | blanchet | generalized tactics | changeset | files |
Tue, 24 Sep 2013 23:10:16 +0200 | blanchet | renamed generated property | changeset | files |
Tue, 24 Sep 2013 22:21:51 +0200 | blanchet | commented out debugging output in "primcorec" | changeset | files |