isabelle: Changelog

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.

berghofe [Thu, 19 Jul 2007 15:30:35 +0200] rev 23843

LaTeX code is now generated directly from Even and Advanced theories.

berghofe [Thu, 19 Jul 2007 15:29:51 +0200] rev 23842

LaTeX code is now generated directly from theory file.

isabelle