isabelle: Changelog

boehmes [Thu, 16 Dec 2010 13:34:28 +0100] rev 41197

fix lambda-lifting: take level of bound variables into account and also apply bound variables from outer scope

boehmes [Thu, 16 Dec 2010 12:33:06 +0100] rev 41196

fixed introduction of explicit application function: bound variables always need explicit application if they are applied to some term

boehmes [Thu, 16 Dec 2010 12:07:36 +0100] rev 41195

fixed eta-expansion: introduce a couple of abstractions at once

paulson [Thu, 16 Dec 2010 12:19:00 +0000] rev 41194

merged

paulson [Thu, 16 Dec 2010 12:05:00 +0000] rev 41193

made sml/nj happy

bulwahn [Thu, 16 Dec 2010 11:31:22 +0100] rev 41192

removing file refute_isar.ML that was missed in 4006f5c3f421

bulwahn [Thu, 16 Dec 2010 11:31:07 +0100] rev 41191

added nitpick to mutabelle script

bulwahn [Thu, 16 Dec 2010 11:31:06 +0100] rev 41190

reactivating nitpick in Mutabelle

haftmann [Thu, 16 Dec 2010 09:40:15 +0100] rev 41189

more appropriate closures for static evaluation

haftmann [Thu, 16 Dec 2010 09:28:19 +0100] rev 41188

more uniform naming

isabelle