| Thu, 28 May 2015 14:33:35 +0100 | paulson | Convex hulls: theorems about interior, etc. And a few simple lemmas. | changeset | files |
| Thu, 28 May 2015 10:18:46 +0200 | blanchet | made Auto Sledgehammer behave more like the real thing | changeset | files |
| Thu, 28 May 2015 09:50:17 +0200 | blanchet | took out Sledgehammer minimizer optimization that breaks things | changeset | files |
| Thu, 28 May 2015 17:25:57 +1000 | kleing | modernized (slightly) type compiler in MicroJava | changeset | files |
| Tue, 26 May 2015 21:58:04 +0100 | paulson | New material about paths, and some lemmas | changeset | files |
| Mon, 25 May 2015 22:52:17 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |
| Mon, 25 May 2015 22:11:43 +0200 | wenzelm | merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML; | changeset | files |