Thu, 30 Aug 2007 15:04:49 +0200 | wenzelm | tuned; | changeset | files |
Thu, 30 Aug 2007 15:04:48 +0200 | wenzelm | moved type_mode to type.ML; | changeset | files |
Thu, 30 Aug 2007 15:04:44 +0200 | wenzelm | infer_types: general check_typs instead of Type.cert_typ_mode; | changeset | files |
Thu, 30 Aug 2007 15:04:42 +0200 | wenzelm | maintain mode in context (get/set/restore_mode); | changeset | files |
Thu, 30 Aug 2007 15:04:41 +0200 | wenzelm | added burrow_types; | changeset | files |
Thu, 30 Aug 2007 11:46:37 +0200 | berghofe | - tuned section about inductive predicates | changeset | files |