isabelle: Changelog

sultana [Tue, 03 Apr 2012 16:45:44 +0100] rev 47309

added me to isatest email list

kuncar [Tue, 03 Apr 2012 16:26:48 +0200] rev 47308

new package Lifting - initial commit

huffman [Tue, 03 Apr 2012 14:09:37 +0200] rev 47307

add floor/ceiling lemmas suggested by René Thiemann

nipkow [Tue, 03 Apr 2012 08:55:06 +0200] rev 47306

made sure that " is shown in tutorial text

Christian Urban <urbanc@in.tum.de> [Mon, 02 Apr 2012 21:26:46 +0100] rev 47305

merged

Christian Urban <urbanc@in.tum.de> [Mon, 02 Apr 2012 21:26:07 +0100] rev 47304

tuned proofs

nipkow [Mon, 02 Apr 2012 20:12:19 +0200] rev 47303

merged

nipkow [Mon, 02 Apr 2012 20:12:10 +0200] rev 47302

towards showing " in the tutorial

Christian Urban <urbanc@in.tum.de> [Mon, 02 Apr 2012 18:12:53 +0100] rev 47301

tuned proof in order to avoid warning message

huffman [Mon, 02 Apr 2012 16:07:24 +0200] rev 47300

remove unnecessary qualifiers on names

isabelle