Fri, 08 Nov 2013 19:03:14 +0100 by (auto ...)[1] not by (auto [1])
blanchet [Fri, 08 Nov 2013 19:03:14 +0100] rev 54291
by (auto ...)[1] not by (auto [1])
Fri, 08 Nov 2013 08:59:54 +0100 added exercise
nipkow [Fri, 08 Nov 2013 08:59:54 +0100] rev 54290
added exercise
Thu, 07 Nov 2013 16:08:19 +1100 Add output translation for <a := .., b := .., ..> state notation.
kleing [Thu, 07 Nov 2013 16:08:19 +1100] rev 54289
Add output translation for <a := .., b := .., ..> state notation.
Thu, 07 Nov 2013 02:42:20 +0100 reintroduce mutually (co)rec check, since the underlying N2M code doesn't quite handle the general case (esp. in presence of type variables)
blanchet [Thu, 07 Nov 2013 02:42:20 +0100] rev 54288
reintroduce mutually (co)rec check, since the underlying N2M code doesn't quite handle the general case (esp. in presence of type variables)
Thu, 07 Nov 2013 01:01:04 +0100 more docs
blanchet [Thu, 07 Nov 2013 01:01:04 +0100] rev 54287
more docs
Thu, 07 Nov 2013 00:37:18 +0100 properly detect when to perform n2m -- e.g. handle the case of two independent functions on irrelevant types being defined in parallel
blanchet [Thu, 07 Nov 2013 00:37:18 +0100] rev 54286
properly detect when to perform n2m -- e.g. handle the case of two independent functions on irrelevant types being defined in parallel
Wed, 06 Nov 2013 23:05:44 +0100 reverted 3e1d230f1c00 -- pervasiveness is useful, cf. Coinductive_Nat in the AFP
blanchet [Wed, 06 Nov 2013 23:05:44 +0100] rev 54285
reverted 3e1d230f1c00 -- pervasiveness is useful, cf. Coinductive_Nat in the AFP
Wed, 06 Nov 2013 22:50:12 +0100 simplified code
blanchet [Wed, 06 Nov 2013 22:50:12 +0100] rev 54284
simplified code
Wed, 06 Nov 2013 22:42:54 +0100 fourth attempt at generalizing N2M types (to leverage caching)
blanchet [Wed, 06 Nov 2013 22:42:54 +0100] rev 54283
fourth attempt at generalizing N2M types (to leverage caching)
Wed, 06 Nov 2013 21:40:41 +0100 tuning
blanchet [Wed, 06 Nov 2013 21:40:41 +0100] rev 54282
tuning
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip