| 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 |
| Thu, 03 Jul 2008 17:51:53 +0200 | wenzelm | use patched cvsps to workaround loss of "foo: bar;" log entries; | changeset | files |
| Thu, 03 Jul 2008 17:47:22 +0200 | huffman | move nonstandard analysis theories to NSA directory | changeset | files |