Wed, 02 Oct 2013 22:59:19 +0200 | traytel | keep the qualification of bindings when noting bnf theorems | changeset | files |
Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | strengthened tactic (primcorec_sel_tac) + tuning | changeset | files |
Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | renamings | changeset | files |