huffman [Sat, 20 Aug 2011 09:59:28 -0700] rev 45204
add lemma power2_eq_iff
huffman [Sat, 20 Aug 2011 07:09:44 -0700] rev 45203
remove some over-specific rules from the simpset
huffman [Sat, 20 Aug 2011 06:35:43 -0700] rev 45202
merged
huffman [Sat, 20 Aug 2011 06:34:51 -0700] rev 45201
redefine constant 'trivial_limit' as an abbreviation
haftmann [Sat, 20 Aug 2011 09:42:34 +0200] rev 45200
merged
haftmann [Sat, 20 Aug 2011 09:42:12 +0200] rev 45199
deactivated ?unknown? nitpick example
haftmann [Sat, 20 Aug 2011 09:30:23 +0200] rev 45198
merged
haftmann [Sat, 20 Aug 2011 01:40:22 +0200] rev 45197
tuned proof
haftmann [Sat, 20 Aug 2011 01:39:27 +0200] rev 45196
more uniform formatting of specifications
haftmann [Sat, 20 Aug 2011 01:33:58 +0200] rev 45195
compatibility layer