Mon, 11 Nov 2013 16:41:08 +0100 handle independent functions defined in parallel in N2M (in presence of type variables, see ce58fb149ff6)
traytel [Mon, 11 Nov 2013 16:41:08 +0100] rev 54298
handle independent functions defined in parallel in N2M (in presence of type variables, see ce58fb149ff6)
Mon, 11 Nov 2013 10:23:01 +0100 tuned
nipkow [Mon, 11 Nov 2013 10:23:01 +0100] rev 54297
tuned
Mon, 11 Nov 2013 10:10:28 +0100 tuned
nipkow [Mon, 11 Nov 2013 10:10:28 +0100] rev 54296
tuned
Sun, 10 Nov 2013 15:05:06 +0100 qualifed popular user space names
haftmann [Sun, 10 Nov 2013 15:05:06 +0100] rev 54295
qualifed popular user space names
Sun, 10 Nov 2013 10:02:34 +0100 dropped obsolete check: dest_num always yields positive number
haftmann [Sun, 10 Nov 2013 10:02:34 +0100] rev 54294
dropped obsolete check: dest_num always yields positive number
Sun, 10 Nov 2013 10:02:34 +0100 simplified: negative number is trivially smaller than 2, and SMT_Builtin.is_builtin_num implies that its argument is a number
haftmann [Sun, 10 Nov 2013 10:02:34 +0100] rev 54293
simplified: negative number is trivially smaller than 2, and SMT_Builtin.is_builtin_num implies that its argument is a number
Fri, 08 Nov 2013 21:40:07 +0100 more exercises
nipkow [Fri, 08 Nov 2013 21:40:07 +0100] rev 54292
more exercises
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.
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip