isabelle: Changelog

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".

berghofe [Thu, 19 Jul 2007 15:33:27 +0200] rev 23846

Added named_thms antiquotation.

berghofe [Thu, 19 Jul 2007 15:32:58 +0200] rev 23845

Replaced "hand-made" files by generated files in Inductive/document.

berghofe [Thu, 19 Jul 2007 15:31:30 +0200] rev 23844

LaTeX code is now generated directly from theory files.

isabelle