haftmann [Mon, 21 Jun 2010 09:38:20 +0200] rev 37449
added bot instances; tuned
haftmann [Mon, 21 Jun 2010 09:06:14 +0200] rev 37448
extensionality rule fset_eqI
haftmann [Sun, 20 Jun 2010 22:01:22 +0200] rev 37447
merged
haftmann [Sun, 20 Jun 2010 19:02:41 +0200] rev 37446
separate section for diagnostic commands
haftmann [Sat, 19 Jun 2010 09:50:30 +0200] rev 37445
more binding; avoid arcane Rep and Abs prefixes
haftmann [Sat, 19 Jun 2010 09:14:06 +0200] rev 37444
cleanup of typecopy package
haftmann [Sat, 19 Jun 2010 06:43:33 +0200] rev 37443
quickcheck for fsets
nipkow [Fri, 18 Jun 2010 22:41:16 +0200] rev 37442
merged
nipkow [Fri, 18 Jun 2010 22:40:58 +0200] rev 37441
added pigeonhole lemmas
haftmann [Fri, 18 Jun 2010 21:22:05 +0200] rev 37440
merged