2013-10-29 nipkow more exercises
2013-10-28 nipkow merged
2013-10-28 nipkow more exercises
2013-10-27 blanchet commented out vaporware
2013-10-26 nipkow more exercises
2013-10-26 blanchet tuning
2013-10-26 blanchet tuning
2013-10-26 blanchet tuned names (to make them independent from temporary naming convention used in characteristic theorems)
2013-10-26 blanchet align 'primrec_new' on 'primcorec' (+ got rid of one more 'dummyT')
2013-10-26 blanchet convenience: handle composition gracefully in map in 'primcorec', analogously to 'primrec_new'
2013-10-26 blanchet tuned error message
2013-10-25 nipkow more exercises
2013-10-24 blanchet handle applied ctor arguments gracefully when computing 'callssss' (for recursion through functions)
2013-10-24 blanchet tuning
2013-10-24 blanchet more correct (!) types for recursive calls
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip