| 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 |
| Tue, 19 Apr 2011 21:19:14 +0200 | wenzelm | eliminated obsolete Proof_Syntax.strip_sorts_consttypes; | changeset | files |