hoelzl [Tue, 31 May 2011 21:33:49 +0200] rev 44192
use divide instead of inverse for the derivative of ln
bulwahn [Thu, 09 Jun 2011 11:57:39 +0200] rev 44191
adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10
bulwahn [Thu, 09 Jun 2011 10:43:42 +0200] rev 44190
NEWS
bulwahn [Thu, 09 Jun 2011 10:19:51 +0200] rev 44189
correcting import theory of examples
bulwahn [Thu, 09 Jun 2011 09:07:13 +0200] rev 44188
fixing code generation test
bulwahn [Thu, 09 Jun 2011 08:32:22 +0200] rev 44187
removing char setup
bulwahn [Thu, 09 Jun 2011 08:32:21 +0200] rev 44186
removing unneccessary manual instantiations and dead definitions; hiding more constants and facts
bulwahn [Thu, 09 Jun 2011 08:32:19 +0200] rev 44185
adding a nicer error message for quickcheck_narrowing; hiding fact empty_def
bulwahn [Thu, 09 Jun 2011 08:32:18 +0200] rev 44184
adding narrowing engine for existentials
bulwahn [Thu, 09 Jun 2011 08:32:18 +0200] rev 44183
adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement