isabelle: Changelog

wenzelm [Thu, 30 Jul 2009 01:12:33 +0200] rev 32279

added certify_inst, certify_instantiate;

wenzelm [Wed, 29 Jul 2009 22:38:35 +0200] rev 32278

merged

wenzelm [Wed, 29 Jul 2009 22:34:31 +0200] rev 32277

trans_tac: use theory from goal state, not the static context, which seems to be outdated under certain circumstances (why?);

wenzelm [Wed, 29 Jul 2009 21:40:04 +0200] rev 32276

proper Jinja-Slicing;

wenzelm [Wed, 29 Jul 2009 19:36:22 +0200] rev 32275

merged

haftmann [Wed, 29 Jul 2009 16:43:02 +0200] rev 32274

merged

haftmann [Wed, 29 Jul 2009 16:42:47 +0200] rev 32273

abstractions: desymbolize name hint

haftmann [Wed, 29 Jul 2009 16:42:47 +0200] rev 32272

added numeral code postprocessor rules on type int

nipkow [Wed, 29 Jul 2009 12:13:21 +0200] rev 32271

sos comments modified

nipkow [Wed, 29 Jul 2009 12:12:01 +0200] rev 32270

sos documentation

isabelle