Thu, 19 Jun 2008 22:05:01 +0200 moved get_sort to Isar/proof_context.ML;
wenzelm [Thu, 19 Jun 2008 22:05:01 +0200] rev 27284
moved get_sort to Isar/proof_context.ML; removed obsolete read_def_typ, read_typ, read_typ_syntax, read_typ_abbrev;
Thu, 19 Jun 2008 21:14:30 +0200 tuned signature;
wenzelm [Thu, 19 Jun 2008 21:14:30 +0200] rev 27283
tuned signature; removed duplicates of read_typ/cert_typ (cf. RecordPackage.read_typ/cert_typ);
Thu, 19 Jun 2008 20:48:06 +0200 private add_used (from drule.ML);
wenzelm [Thu, 19 Jun 2008 20:48:06 +0200] rev 27282
private add_used (from drule.ML); Variable.declare_names;
Thu, 19 Jun 2008 20:48:05 +0200 Variable.declare_typ;
wenzelm [Thu, 19 Jun 2008 20:48:05 +0200] rev 27281
Variable.declare_typ;
Thu, 19 Jun 2008 20:48:04 +0200 added declare_typ;
wenzelm [Thu, 19 Jun 2008 20:48:04 +0200] rev 27280
added declare_typ;
Thu, 19 Jun 2008 20:48:03 +0200 moved add_used to Isar/rule_insts.ML;
wenzelm [Thu, 19 Jun 2008 20:48:03 +0200] rev 27279
moved add_used to Isar/rule_insts.ML;
Thu, 19 Jun 2008 20:48:02 +0200 export read_typ/cert_typ -- version with regular context operations;
wenzelm [Thu, 19 Jun 2008 20:48:02 +0200] rev 27278
export read_typ/cert_typ -- version with regular context operations; tuned;
Thu, 19 Jun 2008 20:48:01 +0200 export read_typ/cert_typ -- version with regular context operations;
wenzelm [Thu, 19 Jun 2008 20:48:01 +0200] rev 27277
export read_typ/cert_typ -- version with regular context operations;
Thu, 19 Jun 2008 20:48:00 +0200 tuned signature;
wenzelm [Thu, 19 Jun 2008 20:48:00 +0200] rev 27276
tuned signature; removed duplicate of RecordPackage.read_typ; replaced Typetab by existing Typtab;
Thu, 19 Jun 2008 20:47:58 +0200 removed duplicate of DatatypePackage.read_typ;
wenzelm [Thu, 19 Jun 2008 20:47:58 +0200] rev 27275
removed duplicate of DatatypePackage.read_typ;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip