Fri, 05 Aug 2005 19:57:57 +0200 | berghofe | New case study: pigeonhole principle. | changeset | files |
Fri, 05 Aug 2005 19:56:58 +0200 | berghofe | Added Extraction/Pigeonhole. | changeset | files |
Fri, 05 Aug 2005 12:20:30 +0200 | nipkow | added Brian Hufmann's finite instances | changeset | files |