isabelle: Changelog

blanchet [Thu, 30 Jan 2014 22:55:52 +0100] rev 55196

merged

blanchet [Thu, 30 Jan 2014 22:42:29 +0100] rev 55195

reverted unsound optimization

blanchet [Thu, 30 Jan 2014 21:56:25 +0100] rev 55194

got rid of one of two Metis variants

blanchet [Thu, 30 Jan 2014 21:02:19 +0100] rev 55193

tuning

blanchet [Thu, 30 Jan 2014 20:39:49 +0100] rev 55192

unskolemize SPASS formula to ensure that the variables are in the right order for 'metis's skolemizer

blanchet [Thu, 30 Jan 2014 18:37:08 +0100] rev 55191

killed needless pass

haftmann [Thu, 30 Jan 2014 16:30:01 +0100] rev 55190

dependency reporting for code generation errors

haftmann [Thu, 30 Jan 2014 16:30:00 +0100] rev 55189

more abstract dictionary construction

haftmann [Thu, 30 Jan 2014 16:09:04 +0100] rev 55188

reduced prominence of "permissive code generation"

haftmann [Thu, 30 Jan 2014 16:09:03 +0100] rev 55187

split rules for of_bool, similar to if

isabelle