isabelle: Changelog

nipkow [Wed, 28 Mar 2012 16:12:10 +0200] rev 47187

updates

bulwahn [Wed, 28 Mar 2012 14:54:33 +0200] rev 47186

updated documentation files (cf. c14fda8fee38)

wenzelm [Wed, 28 Mar 2012 13:53:30 +0200] rev 47185

clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; clarified jEdit/README_BUILD;

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

isabelle