isabelle: Changelog

nipkow [Thu, 08 Nov 2007 13:23:04 +0100] rev 25338

updated to notation and abbreviation

haftmann [Thu, 08 Nov 2007 13:21:15 +0100] rev 25337

added purify_sym

haftmann [Thu, 08 Nov 2007 13:21:14 +0100] rev 25336

tuned

haftmann [Thu, 08 Nov 2007 13:21:12 +0100] rev 25335

duv, mod, int conversion

wenzelm [Wed, 07 Nov 2007 22:20:13 +0100] rev 25334

ProofContext.read_const';

wenzelm [Wed, 07 Nov 2007 22:20:12 +0100] rev 25333

Syntax.read_typ; rule_tac etc.: proper read_termTs (discontinued rogue type-inference);

wenzelm [Wed, 07 Nov 2007 22:20:11 +0100] rev 25332

export read_const'; tuned;

wenzelm [Wed, 07 Nov 2007 22:20:09 +0100] rev 25331

Syntax.read_typ;

nipkow [Wed, 07 Nov 2007 18:19:04 +0100] rev 25330

added inductive

wenzelm [Wed, 07 Nov 2007 16:43:01 +0100] rev 25329

attribute where/of: proper Syntax.parse/check;

isabelle