| Sun, 07 Feb 2016 19:43:40 +0100 | wenzelm | more explicit dummy proofs; | changeset | files |
| Sun, 07 Feb 2016 19:33:42 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Sun, 07 Feb 2016 19:32:35 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 07 Feb 2016 14:36:16 +0100 | wenzelm | clarified old forms; | changeset | files |
| Sat, 06 Feb 2016 19:26:02 +0100 | wenzelm | Added tag Isabelle2016-RC4 for changeset f4baefee5776 | changeset | files |
| Sat, 06 Feb 2016 12:12:57 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 05 Feb 2016 10:21:38 +0100 | wenzelm | more on Mac OS X with Retina display; | changeset | files |