isabelle: Changelog

blanchet [Tue, 27 Apr 2010 12:07:07 +0200] rev 36475

new Isar proof construction code: stringfy axiom names correctly

blanchet [Tue, 27 Apr 2010 11:44:01 +0200] rev 36474

honor "shrink_proof" Sledgehammer option

blanchet [Tue, 27 Apr 2010 11:24:47 +0200] rev 36473

remove "higher_order" option from Sledgehammer -- the "smart" default is good enough

haftmann [Wed, 28 Apr 2010 15:42:10 +0200] rev 36472

updated keywords

haftmann [Wed, 28 Apr 2010 15:17:13 +0200] rev 36471

exported cert_tyco, read_tyco

haftmann [Wed, 28 Apr 2010 15:17:09 +0200] rev 36470

added code_reflect command

haftmann [Wed, 28 Apr 2010 14:54:17 +0200] rev 36469

merged

haftmann [Wed, 28 Apr 2010 11:26:10 +0200] rev 36468

fix "fors" for proof of monotonicity

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Apr 2010 14:01:54 +0200] rev 36467

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Apr 2010 14:01:13 +0200] rev 36466

merge

isabelle