isabelle: Changelog

blanchet [Tue, 29 Jun 2010 13:23:13 +0200] rev 37642

rename functions

haftmann [Wed, 30 Jun 2010 11:39:10 +0200] rev 37641

merged

haftmann [Wed, 30 Jun 2010 11:38:51 +0200] rev 37640

unfold_fun_n

haftmann [Wed, 30 Jun 2010 11:38:51 +0200] rev 37639

pervasive tuning of code

haftmann [Wed, 30 Jun 2010 11:38:51 +0200] rev 37638

explicit printing function for applify

wenzelm [Tue, 29 Jun 2010 22:59:29 +0200] rev 37637

fail with low-level exception, not user error;

wenzelm [Tue, 29 Jun 2010 21:56:31 +0200] rev 37636

eliminated some unused bindings;

wenzelm [Tue, 29 Jun 2010 21:46:47 +0200] rev 37635

recovered some indentation from the depths of time;

Christian Urban <urbanc@in.tum.de> [Tue, 29 Jun 2010 17:03:59 +0100] rev 37634

cleaned by using descending instead of lifting

blanchet [Tue, 29 Jun 2010 11:38:51 +0200] rev 37633

merged

isabelle