| Mon, 11 Nov 2013 10:23:01 +0100 | nipkow | tuned | changeset | files |
| Mon, 11 Nov 2013 10:10:28 +0100 | nipkow | tuned | changeset | files |
| Sun, 10 Nov 2013 15:05:06 +0100 | haftmann | qualifed popular user space names | changeset | files |
| Sun, 10 Nov 2013 10:02:34 +0100 | haftmann | dropped obsolete check: dest_num always yields positive number | changeset | files |
| Sun, 10 Nov 2013 10:02:34 +0100 | haftmann | simplified: negative number is trivially smaller than 2, and SMT_Builtin.is_builtin_num implies that its argument is a number | changeset | files |
| Fri, 08 Nov 2013 21:40:07 +0100 | nipkow | more exercises | changeset | files |
| Fri, 08 Nov 2013 19:03:14 +0100 | blanchet | by (auto ...)[1] not by (auto [1]) | changeset | files |
| Fri, 08 Nov 2013 08:59:54 +0100 | nipkow | added exercise | changeset | files |