isabelle: Changelog

haftmann [Thu, 21 May 2009 09:07:13 +0200] rev 31222

added Predicate.map in SML environment

webertj [Thu, 21 May 2009 15:25:44 +0100] rev 31221

merged

webertj [Thu, 21 May 2009 15:25:26 +0100] rev 31220

implementation of definitional CNF improved

webertj [Thu, 21 May 2009 15:23:32 +0100] rev 31219

write_dimacs_{sat,cnf}_file now write the DIMACS file on the fly, without building it in memory first

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

fixed typo

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

experimental values command

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

isabelle