isabelle: Changelog

wenzelm [Wed, 28 Mar 2012 13:38:56 +0200] rev 47184

merged

huffman [Wed, 28 Mar 2012 12:28:24 +0200] rev 47183

removed references to obsolete theorems

bulwahn [Wed, 28 Mar 2012 11:40:12 +0200] rev 47182

merged

bulwahn [Wed, 28 Mar 2012 10:44:04 +0200] rev 47181

some tuning while reviewing the current state of the quotient_def package

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;

isabelle