| Fri, 25 Aug 2006 00:10:10 +0200 | webertj | avoid duplicate tactics | changeset | files |
| Thu, 24 Aug 2006 23:51:46 +0200 | webertj | additional list of tactics that can be added to arith | changeset | files |
| Thu, 24 Aug 2006 15:20:43 +0200 | berghofe | Added premises concerning finite support of recursion results to FCBs. | changeset | files |
| Wed, 23 Aug 2006 23:40:47 +0200 | huffman | speed up proof of summable_Cauchy | changeset | files |