Sat, 26 Oct 2013 12:57:17 +0200 | blanchet | tuned names (to make them independent from temporary naming convention used in characteristic theorems) | changeset | files |
Sat, 26 Oct 2013 12:54:57 +0200 | blanchet | align 'primrec_new' on 'primcorec' (+ got rid of one more 'dummyT') | changeset | files |