| 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 |
| Tue, 19 Apr 2011 20:47:02 +0200 | wenzelm | split Type_Infer into early and late part, after Proof_Context; | changeset | files |
| Tue, 19 Apr 2011 16:13:04 +0200 | wenzelm | minor tuning and modernization; | changeset | files |
| Tue, 19 Apr 2011 15:58:05 +0200 | wenzelm | slightly more special eq_list/eq_set, with shortcut involving pointer_eq; | changeset | files |