| Mon, 10 Aug 2015 14:13:49 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 10 Aug 2015 13:54:12 +0200 | wenzelm | tuned imports; | changeset | files |
| Mon, 10 Aug 2015 11:23:49 +0200 | wenzelm | tuned messages; | changeset | files |
| Mon, 10 Aug 2015 11:20:16 +0200 | wenzelm | clarified ML options; | changeset | files |
| Sat, 08 Aug 2015 22:08:43 +0200 | wenzelm | merged | changeset | files |
| Sat, 08 Aug 2015 21:33:11 +0200 | wenzelm | more single stepping; | changeset | files |
| Sat, 08 Aug 2015 10:51:33 +0200 | haftmann | direct bootstrap of integer division from natural division | changeset | files |
| Thu, 06 Aug 2015 23:56:48 +0200 | haftmann | slight cleanup of lemmas | changeset | files |