| Wed, 07 Sep 2005 20:22:15 +0200 | wenzelm | removed TLA/Inc/Pcount.thy; | changeset | files |
| Wed, 07 Sep 2005 18:22:29 +0200 | paulson | elimination of watcher.sig | changeset | files |
| Wed, 07 Sep 2005 18:14:26 +0200 | paulson | Progress on eprover linkup, also massive tidying | changeset | files |
| Wed, 07 Sep 2005 09:54:31 +0200 | paulson | axioms now included in tptp files, no /bin/cat and various tidying | changeset | files |
| Wed, 07 Sep 2005 09:53:50 +0200 | paulson | consolidation of watcher.ML and watcher.sig | changeset | files |
| Wed, 07 Sep 2005 02:38:38 +0200 | huffman | generalized types more | changeset | files |
| Wed, 07 Sep 2005 02:16:03 +0200 | huffman | generalized types | changeset | files |
| Wed, 07 Sep 2005 02:13:24 +0200 | huffman | added theorem hypreal_inverse2 | changeset | files |