Tue, 19 Apr 2016 13:05:50 +0200 | traytel | unfold internal definitions before emitting a proof obligation | changeset | files |
Tue, 19 Apr 2016 12:06:34 +0200 | wenzelm | more IDE support for Isabelle/Pure bootstrap; | changeset | files |
Mon, 18 Apr 2016 22:51:32 +0200 | wenzelm | merged | changeset | files |