Mon, 23 Sep 2013 10:45:26 +0200 | blanchet | generate "simps" from "primcorec" | changeset | files |
Mon, 23 Sep 2013 10:38:23 +0200 | blanchet | undid copy-paste | changeset | files |
Mon, 23 Sep 2013 10:34:10 +0200 | blanchet | avoid giving same name to simplifying constructor as to real one (to avoid risks of confusion when reading the code) | changeset | files |