| Thu, 03 Jul 2008 19:17:29 +0200 | wenzelm | more precise dependencies for HOL-Word and HOL-NSA; | changeset | files |
| Thu, 03 Jul 2008 19:02:33 +0200 | huffman | fixed extremely slow proof of Chain_inits_DiffI | changeset | files |
| Thu, 03 Jul 2008 18:16:40 +0200 | huffman | add Infinite_Set and Zorn back in (since they are no longer included in main HOL image) | changeset | files |
| Thu, 03 Jul 2008 18:15:39 +0200 | huffman | move proofs of add_left_cancel and add_right_cancel into the correct locale | changeset | files |
| Thu, 03 Jul 2008 18:03:10 +0200 | wenzelm | cvsps -v (verbose); | changeset | files |
| Thu, 03 Jul 2008 17:58:10 +0200 | huffman | removed nonstandard analysis theories to HOL-NSA | changeset | files |
| Thu, 03 Jul 2008 17:57:01 +0200 | huffman | moved theories to HOL/NSA | changeset | files |
| Thu, 03 Jul 2008 17:53:39 +0200 | huffman | add HOL-NSA | changeset | files |