wenzelm [Mon, 07 Jun 2010 17:50:57 +0200] rev 37460
proper target directory;
wenzelm [Mon, 07 Jun 2010 17:50:40 +0200] rev 37459
refer to isabelle-release branch;
blanchet [Mon, 21 Jun 2010 16:59:37 +0200] rev 37458
make Nitpick's unsound mode a bit more unsound
blanchet [Mon, 21 Jun 2010 14:07:00 +0200] rev 37457
sort cases on the proper key
blanchet [Mon, 21 Jun 2010 13:35:10 +0200] rev 37456
compile
blanchet [Mon, 21 Jun 2010 12:33:43 +0200] rev 37455
thread "full_types"
blanchet [Mon, 21 Jun 2010 12:31:41 +0200] rev 37454
try to improve Sledgehammer/Metis's behavior in full_types mode, e.g. by handing True, False, and If better
blanchet [Mon, 21 Jun 2010 12:28:46 +0200] rev 37453
clean up after fcc768dc9dd0
blanchet [Mon, 21 Jun 2010 11:16:00 +0200] rev 37452
adjusted Nitpick examples to latest changes + make them slightly faster
blanchet [Mon, 21 Jun 2010 11:15:21 +0200] rev 37451
optimized code generated for datatype cases + more;
more = lazy creation of debugging messages in mono code
+ use of "let" when performing some beta-applications (to avoid exponential blowup)
+ removal of some set constructs, to simplify the code and increase precision in some cases (and decrease it in others, but this can be regained)