isabelle: Changelog

paulson [Thu, 28 Sep 2006 16:01:48 +0200] rev 20762

clearout of obsolete code

paulson [Thu, 28 Sep 2006 16:01:34 +0200] rev 20761

addition of combinators

wenzelm [Thu, 28 Sep 2006 15:30:03 +0200] rev 20760

tuned messages;

wenzelm [Thu, 28 Sep 2006 11:56:30 +0200] rev 20759

tuned;

wenzelm [Thu, 28 Sep 2006 11:55:56 +0200] rev 20758

LD_LIBRARY_PATH;

paulson [Thu, 28 Sep 2006 11:04:41 +0200] rev 20757

Definitions produced by packages are now blacklisted.

huffman [Thu, 28 Sep 2006 06:21:06 +0200] rev 20756

more reorganizing sections

huffman [Thu, 28 Sep 2006 04:03:43 +0200] rev 20755

reorganize sections

huffman [Thu, 28 Sep 2006 02:50:07 +0200] rev 20754

add intro/dest rules for NSLIM; rewrite equivalence proofs using transfer

huffman [Thu, 28 Sep 2006 01:32:30 +0200] rev 20753

add lemma hypreal_epsilon_gt_zero

isabelle