nipkow [Wed, 23 Oct 2013 18:04:43 +0200] rev 55646
added exercises
blanchet [Wed, 23 Oct 2013 14:53:36 +0200] rev 55645
added 'primcorec' examples
nipkow [Wed, 23 Oct 2013 09:58:30 +0200] rev 55644
tuned
traytel [Tue, 22 Oct 2013 16:07:09 +0200] rev 55643
removed junk
traytel [Tue, 22 Oct 2013 14:22:06 +0200] rev 55642
update doc according to c0186a0d8cb3
traytel [Tue, 22 Oct 2013 14:17:12 +0200] rev 55641
define a trivial nonemptiness witness if none is provided
blanchet [Mon, 21 Oct 2013 23:45:27 +0200] rev 55640
made lower-level function available
blanchet [Mon, 21 Oct 2013 23:35:57 +0200] rev 55639
more doc -- feedback from Andrei P.
nipkow [Mon, 21 Oct 2013 21:06:19 +0200] rev 55638
added exercise
blanchet [Mon, 21 Oct 2013 10:49:02 +0200] rev 55637
more docs