nipkow [Thu, 18 Aug 2011 17:42:35 +0200] rev 45138
merged
nipkow [Thu, 18 Aug 2011 17:42:18 +0200] rev 45137
case_names NEWS
bulwahn [Thu, 18 Aug 2011 17:00:15 +0200] rev 45136
adding documentation about simps equation in the inductive package
bulwahn [Thu, 18 Aug 2011 12:06:17 +0200] rev 45135
activating narrowing-based quickcheck by default
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Aug 2011 16:52:19 +0900] rev 45134
Quotient_Examples/DList: explicit proof of remdups_eq_member_eq needed for explicit set type.
huffman [Wed, 17 Aug 2011 15:12:34 -0700] rev 45133
merged
huffman [Wed, 17 Aug 2011 15:03:30 -0700] rev 45132
HOL-IMP: respect set/pred distinction
huffman [Wed, 17 Aug 2011 15:02:17 -0700] rev 45131
Determinants.thy: avoid using mem_def/Collect_def
huffman [Wed, 17 Aug 2011 14:42:59 -0700] rev 45130
Wfrec.thy: respect set/pred distinction
wenzelm [Thu, 18 Aug 2011 00:02:44 +0200] rev 45129
follow updates of Isabelle/Pure;