wenzelm [Thu, 16 Jul 2009 21:00:09 +0200] rev 32020
use structure Same;
tuned;
wenzelm [Thu, 16 Jul 2009 20:32:40 +0200] rev 32019
use structure Same;
do not open Envir;
wenzelm [Thu, 16 Jul 2009 20:32:05 +0200] rev 32018
use structure Same;
tuned signature;
tuned comments;
tuned;
wenzelm [Thu, 16 Jul 2009 20:15:57 +0200] rev 32017
added map;
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