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 |