| 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 |