isabelle: Changelog

haftmann [Thu, 19 Jul 2007 21:47:45 +0200] rev 23858

adapted to new code generator framework

haftmann [Thu, 19 Jul 2007 21:47:44 +0200] rev 23857

code lemma for contents

haftmann [Thu, 19 Jul 2007 21:47:43 +0200] rev 23856

code lemma for of_int

haftmann [Thu, 19 Jul 2007 21:47:42 +0200] rev 23855

tuned

haftmann [Thu, 19 Jul 2007 21:47:39 +0200] rev 23854

uniform naming conventions for CG theories

haftmann [Thu, 19 Jul 2007 21:47:38 +0200] rev 23853

added lemmas by Brian Huffman

haftmann [Thu, 19 Jul 2007 21:47:37 +0200] rev 23852

moved set Nats to Nat.thy

haftmann [Thu, 19 Jul 2007 21:47:36 +0200] rev 23851

added of_int_of_nat

haftmann [Thu, 19 Jul 2007 21:47:34 +0200] rev 23850

updated

berghofe [Thu, 19 Jul 2007 15:37:37 +0200] rev 23849

strong_ind_simproc now only rewrites arguments of inductive predicates.

isabelle