isabelle: Changelog

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.

berghofe [Thu, 19 Jul 2007 15:35:36 +0200] rev 23848

updated

berghofe [Thu, 19 Jul 2007 15:35:00 +0200] rev 23847

Refer to major premise of induction rule via "thm_style prem1".

isabelle