isabelle: Changelog

haftmann [Wed, 20 May 2009 22:24:07 +0200] rev 31216

added Predicate.map

haftmann [Wed, 20 May 2009 15:35:22 +0200] rev 31215

merged

haftmann [Wed, 20 May 2009 15:35:13 +0200] rev 31214

tuned

haftmann [Wed, 20 May 2009 15:35:13 +0200] rev 31213

adjusted to changes in Quickcheck.thy

haftmann [Wed, 20 May 2009 15:35:12 +0200] rev 31212

eliminated case input syntax on bits

haftmann [Wed, 20 May 2009 12:10:22 +0200] rev 31211

removed quickcheck generator for type copies temporarily

haftmann [Wed, 20 May 2009 12:09:07 +0200] rev 31210

avoid potential problem with stale theory

haftmann [Wed, 20 May 2009 10:37:38 +0200] rev 31209

dropped parentheses

haftmann [Wed, 20 May 2009 10:37:37 +0200] rev 31208

parse translations for cases are conservative wrt. overloaded constructors

haftmann [Wed, 20 May 2009 10:37:37 +0200] rev 31207

added generator for type copies (records)

isabelle