| Sun, 29 Apr 2012 20:42:09 +0200 | wenzelm | more CHECKLIST; | changeset | files |
| Sun, 29 Apr 2012 19:03:57 +0200 | wenzelm | more windows-friendly presentation of main text files; | changeset | files |
| Sun, 29 Apr 2012 11:44:33 +0200 | blanchet | split into demo and competitive version | changeset | files |
| Sun, 29 Apr 2012 11:44:33 +0200 | blanchet | Sledgehammer can do it | changeset | files |
| Sun, 29 Apr 2012 09:25:54 +0200 | haftmann | compact nat literals | changeset | files |
| Sat, 28 Apr 2012 18:09:50 +0200 | wenzelm | some re-ordering; | changeset | files |
| Sat, 28 Apr 2012 18:05:19 +0200 | wenzelm | some coverage of isabelle env; | changeset | files |