isabelle: Changelog

traytel [Sun, 09 Sep 2012 10:58:11 +0200] rev 49228

open typedefs everywhere in the package

traytel [Sun, 09 Sep 2012 10:15:58 +0200] rev 49227

open typedef for datatypes

blanchet [Sat, 08 Sep 2012 22:54:37 +0200] rev 49226

fixed and enabled iterator/recursor theorems

blanchet [Sat, 08 Sep 2012 21:52:17 +0200] rev 49225

renamed for consistency

blanchet [Sat, 08 Sep 2012 21:37:23 +0200] rev 49224

oops

blanchet [Sat, 08 Sep 2012 21:33:15 +0200] rev 49223

tuning

blanchet [Sat, 08 Sep 2012 21:30:31 +0200] rev 49222

for compatiblity with old datatype package: not only "recs" with "s", but also "iters" and their "fld_"/"unf_" variants

blanchet [Sat, 08 Sep 2012 21:21:27 +0200] rev 49221

fixed bug with one-value types with phantom type arguments

blanchet [Sat, 08 Sep 2012 21:04:27 +0200] rev 49220

imported patch debugging

blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49219

repaired "nofail4" example

isabelle