| Mon, 25 Jul 2005 18:54:49 +0200 | avigad | Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy | changeset | files |
| Mon, 25 Jul 2005 15:51:30 +0200 | webertj | defcnf modified to internally use a reference | changeset | files |
| Fri, 22 Jul 2005 17:43:49 +0200 | paulson | dead code removal | changeset | files |
| Fri, 22 Jul 2005 17:43:03 +0200 | paulson | reformatting and tidying | changeset | files |
| Fri, 22 Jul 2005 17:42:40 +0200 | paulson | tidied up the tracing output | changeset | files |
| Fri, 22 Jul 2005 13:19:06 +0200 | paulson | streamlined the tptp output | changeset | files |
| Fri, 22 Jul 2005 13:18:54 +0200 | paulson | removed unused code | changeset | files |
| Fri, 22 Jul 2005 11:55:11 +0200 | berghofe | Tuned comment. | changeset | files |