| Thu, 20 Dec 2007 12:02:46 +0100 | wenzelm | updated HOL-Nominal-Examples deps; | changeset | files |
| Thu, 20 Dec 2007 11:16:19 +0100 | wenzelm | made refute non-critical (seems to work after avoiding floating point random numbers); | changeset | files |
| Thu, 20 Dec 2007 03:06:20 +0100 | huffman | move bottom-related stuff back into Pcpo.thy | changeset | files |