| Thu, 03 Mar 2005 00:42:04 +0100 | huffman | converted to new-style theory | changeset | files |
| Wed, 02 Mar 2005 23:58:02 +0100 | huffman | converted to new-style theory | changeset | files |
| Wed, 02 Mar 2005 23:28:17 +0100 | huffman | converted to new-style theory | changeset | files |
| Wed, 02 Mar 2005 23:15:16 +0100 | huffman | converted to new-style theory | changeset | files |
| Wed, 02 Mar 2005 22:57:08 +0100 | huffman | converted to new-style theory | changeset | files |
| Wed, 02 Mar 2005 22:30:00 +0100 | huffman | converted to new-style theory | changeset | files |
| Wed, 02 Mar 2005 12:06:15 +0100 | nipkow | another reorganization of setsums and intervals | changeset | files |
| Wed, 02 Mar 2005 10:33:10 +0100 | dixon | lucas - fixed bug with name capture variables bound outside redex could (previously)conflict with scheme variables that occur in the conditions of an equation, and which were renamed to avoid conflict with another instantiation. This has now been fixed. | changeset | files |