| Thu, 13 Sep 2012 11:13:00 +0200 | wenzelm | more standard init_components -- particularly important to pick up correct jdk/scala version; | changeset | files |
| Thu, 13 Sep 2012 10:28:48 +0200 | nipkow | tuned | changeset | files |
| Wed, 12 Sep 2012 23:38:12 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 Sep 2012 23:06:39 +0200 | blanchet | rough and ready induction | changeset | files |
| Wed, 12 Sep 2012 23:06:39 +0200 | blanchet | nicer error message, indicating which type is empty (relying on metatheoretical completeness proof here) | changeset | files |
| Wed, 12 Sep 2012 23:18:26 +0200 | wenzelm | observe context more carefully when producing "fresh" variables -- for increased chances that method "subst" works in local context (including that of forked proofs); | changeset | files |