isabelle: Changelog

wenzelm [Thu, 30 Aug 2007 22:35:34 +0200] rev 24493

replaced ProofContext.infer_types by general Syntax.check_terms;

nipkow [Thu, 30 Aug 2007 21:44:29 +0200] rev 24492

*** empty log message ***

Thu, 30 Aug 2007 21:43:31 +0200 added constant sgn

nipkow [Thu, 30 Aug 2007 21:43:31 +0200] rev 24491

added constant sgn

nipkow [Thu, 30 Aug 2007 21:43:08 +0200] rev 24490

added lemma

wenzelm [Thu, 30 Aug 2007 17:09:02 +0200] rev 24489

added some more entries;

wenzelm [Thu, 30 Aug 2007 15:04:50 +0200] rev 24488

turned type_check into separate typ/term_check; tuned sifnature;

wenzelm [Thu, 30 Aug 2007 15:04:49 +0200] rev 24487

tuned;

wenzelm [Thu, 30 Aug 2007 15:04:48 +0200] rev 24486

moved type_mode to type.ML; Syntax.add_typ_check;

wenzelm [Thu, 30 Aug 2007 15:04:44 +0200] rev 24485

infer_types: general check_typs instead of Type.cert_typ_mode;

wenzelm [Thu, 30 Aug 2007 15:04:42 +0200] rev 24484

maintain mode in context (get/set/restore_mode);

isabelle