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 |
Wed, 23 Aug 2006 22:44:32 +0200 | huffman | speed up some proofs | changeset | files |
Wed, 23 Aug 2006 22:12:54 +0200 | huffman | generalize proof of SUP_rabs_subseq | changeset | files |
Wed, 23 Aug 2006 21:57:43 +0200 | huffman | speed up some proofs | changeset | files |