isabelle: Changelog

wenzelm [Thu, 16 Jul 2009 17:03:11 +0200] rev 32016

use structure Same; more exports; tuned;

wenzelm [Thu, 16 Jul 2009 16:24:49 +0200] rev 32015

Support for copy-avoiding functions on pure values, at the cost of readability.

wenzelm [Thu, 16 Jul 2009 00:24:11 +0200] rev 32014

removed obsolete/unused legacy_varify;

wenzelm [Thu, 16 Jul 2009 00:21:36 +0200] rev 32013

eliminated legacy_varify;

wenzelm [Wed, 15 Jul 2009 23:50:40 +0200] rev 32012

merged

Christian Urban <urbanc@in.tum.de> [Wed, 15 Jul 2009 22:30:27 +0200] rev 32011

simplified proofs

wenzelm [Wed, 15 Jul 2009 23:48:21 +0200] rev 32010

more antiquotations;

wenzelm [Wed, 15 Jul 2009 23:11:57 +0200] rev 32009

eliminated obsolete legacy_varify;

wenzelm [Wed, 15 Jul 2009 21:42:24 +0200] rev 32008

tuned comment;

nipkow [Wed, 15 Jul 2009 20:34:58 +0200] rev 32007

Made "prime" executable

isabelle