isabelle: Changelog

haftmann [Fri, 23 May 2008 16:10:25 +0200] rev 26973

temporary adjustment

haftmann [Fri, 23 May 2008 16:05:13 +0200] rev 26972

tuned

haftmann [Fri, 23 May 2008 16:05:11 +0200] rev 26971

more permissive preprocessor

haftmann [Fri, 23 May 2008 16:05:07 +0200] rev 26970

explicit type schemes for functions

haftmann [Fri, 23 May 2008 16:05:04 +0200] rev 26969

moved case distinction over number of constructors for distinctness rules from DatatypeProp to DatatypeRepProofs

haftmann [Fri, 23 May 2008 16:05:02 +0200] rev 26968

added code for quantifiers

haftmann [Fri, 23 May 2008 16:04:59 +0200] rev 26967

simplified proof

urbanc [Thu, 22 May 2008 16:34:41 +0200] rev 26966

made the naming of the induction principles consistent: weak_induct is induct and induct is strong_induct

gagern [Wed, 21 May 2008 22:04:58 +0200] rev 26965

use_file: added str_of_pos argument (ignored);

berghofe [Wed, 21 May 2008 14:04:41 +0200] rev 26964

Added entry explaining incompatibilities introduced by replacing sets by predicates.

isabelle