Thu, 31 May 2012 10:05:07 +0200 | huffman | remove stray reference to no-longer-existing theorem 'add' | changeset | files |
Thu, 31 May 2012 10:01:15 +0200 | huffman | temporarily comment out portion of Quotient_Examples/Quotient_Rat.thy, broken by changes to Int.thy | changeset | files |
Wed, 30 May 2012 18:09:23 +0200 | huffman | temporarily comment out nitpick examples broken by changes to Int.thy | changeset | files |