| Fri, 27 Jul 2012 22:26:38 +0200 | haftmann | evaluation: allow multiple code modules | changeset | files |
| Fri, 27 Jul 2012 22:23:00 +0200 | wenzelm | tuned proofs -- avoid odd situations of polymorphic Frees in goal state; | changeset | files |
| Fri, 27 Jul 2012 21:57:56 +0200 | wenzelm | merged | changeset | files |