| Tue, 19 Apr 2011 22:08:42 +0200 | wenzelm | added more elementary Skip_Proof.make_thm_cterm; | changeset | files |
| Tue, 19 Apr 2011 21:55:42 +0200 | wenzelm | explicit markup for loose bounds; | changeset | files |
| Tue, 19 Apr 2011 21:33:56 +0200 | wenzelm | prefer internal types, via Simple_Syntax.read_typ; | changeset | files |