isabelle: Changelog

bulwahn [Wed, 28 Mar 2012 10:37:30 +0200] rev 47180

improving spelling

bulwahn [Wed, 28 Mar 2012 10:16:02 +0200] rev 47179

changing more definitions to quotient_definition

bulwahn [Wed, 28 Mar 2012 10:02:22 +0200] rev 47178

removing now redundant impl_of theorems in DAList

bulwahn [Wed, 28 Mar 2012 10:00:52 +0200] rev 47177

using abstract code equations for proofs of code equations in Multiset

wenzelm [Wed, 28 Mar 2012 12:08:08 +0200] rev 47176

simplified statements and proofs;

wenzelm [Wed, 28 Mar 2012 11:46:14 +0200] rev 47175

tuned whitespace;

wenzelm [Wed, 28 Mar 2012 11:17:32 +0200] rev 47174

updated Sign.add_type, Name_Space.declare;

wenzelm [Wed, 28 Mar 2012 11:04:39 +0200] rev 47173

updated comments;

huffman [Wed, 28 Mar 2012 08:25:51 +0200] rev 47172

merged

huffman [Tue, 27 Mar 2012 22:10:26 +0200] rev 47171

remove unnecessary rules from the simpset

isabelle