isabelle: Changelog

krauss [Thu, 22 Mar 2007 16:53:37 +0100] rev 22502

fixed function syntax

krauss [Thu, 22 Mar 2007 16:34:03 +0100] rev 22501

fixed function syntax

urbanc [Thu, 22 Mar 2007 14:26:05 +0100] rev 22500

corrected the lemmas min_nat_eqvt and min_int_eqvt

haftmann [Thu, 22 Mar 2007 14:03:30 +0100] rev 22499

fixed code generator setup

krauss [Thu, 22 Mar 2007 13:36:57 +0100] rev 22498

made function syntax strict, requiring | to separate equations; cleanup

krauss [Thu, 22 Mar 2007 13:36:56 +0100] rev 22497

fixed problem with the construction of mutual simp rules

krauss [Thu, 22 Mar 2007 13:36:55 +0100] rev 22496

cleanup

urbanc [Thu, 22 Mar 2007 11:17:32 +0100] rev 22495

clarified an error-message

urbanc [Thu, 22 Mar 2007 10:35:12 +0100] rev 22494

tuned some proofs

krauss [Wed, 21 Mar 2007 16:07:40 +0100] rev 22493

added another rule for simultaneous induction, and lemmas for zip

isabelle