isabelle: Changelog

nipkow [Tue, 29 Oct 2013 08:06:08 +0100] rev 54214

more exercises

nipkow [Mon, 28 Oct 2013 10:29:56 +0100] rev 54213

merged

nipkow [Mon, 28 Oct 2013 10:29:43 +0100] rev 54212

more exercises

blanchet [Sun, 27 Oct 2013 19:02:26 +0100] rev 54211

commented out vaporware

nipkow [Sat, 26 Oct 2013 23:06:40 +0200] rev 54210

more exercises

blanchet [Sat, 26 Oct 2013 13:01:41 +0200] rev 54209

tuning

blanchet [Sat, 26 Oct 2013 13:00:55 +0200] rev 54208

tuning

blanchet [Sat, 26 Oct 2013 12:57:17 +0200] rev 54207

tuned names (to make them independent from temporary naming convention used in characteristic theorems)

blanchet [Sat, 26 Oct 2013 12:54:57 +0200] rev 54206

align 'primrec_new' on 'primcorec' (+ got rid of one more 'dummyT')

blanchet [Sat, 26 Oct 2013 12:54:39 +0200] rev 54205

convenience: handle composition gracefully in map in 'primcorec', analogously to 'primrec_new'

isabelle