isabelle: Changelog

wenzelm [Thu, 19 Jun 2008 20:48:06 +0200] rev 27282

private add_used (from drule.ML); Variable.declare_names;

wenzelm [Thu, 19 Jun 2008 20:48:05 +0200] rev 27281

Variable.declare_typ;

wenzelm [Thu, 19 Jun 2008 20:48:04 +0200] rev 27280

added declare_typ;

wenzelm [Thu, 19 Jun 2008 20:48:03 +0200] rev 27279

moved add_used to Isar/rule_insts.ML;

wenzelm [Thu, 19 Jun 2008 20:48:02 +0200] rev 27278

export read_typ/cert_typ -- version with regular context operations; tuned;

wenzelm [Thu, 19 Jun 2008 20:48:01 +0200] rev 27277

export read_typ/cert_typ -- version with regular context operations;

wenzelm [Thu, 19 Jun 2008 20:48:00 +0200] rev 27276

tuned signature; removed duplicate of RecordPackage.read_typ; replaced Typetab by existing Typtab;

isabelle