isabelle: Changelog

haftmann [Thu, 25 Jan 2007 09:32:34 +0100] rev 22175

adjusted names

wenzelm [Wed, 24 Jan 2007 20:54:21 +0100] rev 22174

tuned eta_contract;

wenzelm [Wed, 24 Jan 2007 20:54:20 +0100] rev 22173

updated timing;

paulson [Wed, 24 Jan 2007 17:10:50 +0100] rev 22172

some new lemmas

aspinall [Wed, 24 Jan 2007 13:15:16 +0100] rev 22171

Let <loadfile> execute even while a file is open interactively.

krauss [Tue, 23 Jan 2007 20:29:03 +0100] rev 22170

fixes smlnj-related problem, updated signature

dixon [Tue, 23 Jan 2007 15:54:22 +0100] rev 22169

added a fold up and fold down as separate functions and fixed zipto to use the folddown.

nipkow [Mon, 22 Jan 2007 19:00:29 +0100] rev 22168

simplified proofs

krauss [Mon, 22 Jan 2007 18:17:04 +0100] rev 22167

Included ex/Fundefs.thy in HOL-ex session

krauss [Mon, 22 Jan 2007 17:29:43 +0100] rev 22166

* Preliminary implementation of tail recursion * Clarified internal interfaces

isabelle