Thu, 25 Nov 2010 14:35:52 +0100 | nipkow | Added the simplest finite Ramsey theorem | changeset | files |
Thu, 25 Nov 2010 14:13:48 +0100 | blanchet | reverted c059d550afec -- the triviality check had apparently nothing to do with spontaneous Interrupt exceptions | changeset | files |