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 |