| Thu, 20 Dec 2007 13:58:45 +0100 | wenzelm | adapted theory name; | changeset | files |
| Thu, 20 Dec 2007 13:31:30 +0100 | wenzelm | * Metis prover an order of magnitude faster, works with multithreading. | changeset | files |
| 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 |
| Thu, 20 Dec 2007 01:07:21 +0100 | urbanc | polishing of some proofs | changeset | files |
| Thu, 20 Dec 2007 00:19:40 +0100 | wenzelm | Random.range_real makes SML/NJ happy; | changeset | files |