| Wed, 02 Jan 2008 18:26:01 +0100 | huffman | new class dcpo; added dcpo versions of some lemmas | changeset | files |
| Wed, 02 Jan 2008 18:23:45 +0100 | huffman | added new lemmas | changeset | files |
| Wed, 02 Jan 2008 17:26:19 +0100 | huffman | add lemma dir2dir_monofun | changeset | files |
| Wed, 02 Jan 2008 16:44:58 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 02 Jan 2008 16:37:27 +0100 | huffman | new is_ub lemmas; new lub syntax for set image | changeset | files |
| Wed, 02 Jan 2008 16:33:07 +0100 | wenzelm | Multithreading.max_threads := 0 refers to number of cores of underlying machine; | changeset | files |
| Wed, 02 Jan 2008 16:32:53 +0100 | wenzelm | added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs; | changeset | files |