| Mon, 28 May 2007 04:22:44 +0200 | huffman | interpretations additive_scaleR_left, additive_scaleR_right | changeset | files |
| Mon, 28 May 2007 03:45:41 +0200 | huffman | remove division_by_zero requirement from termdiffs lemmas; cleaned up some proofs | changeset | files |
| Sun, 27 May 2007 20:04:02 +0200 | huffman | new proof of Cauchy product formula for series | changeset | files |
| Sat, 26 May 2007 07:26:03 +0200 | nipkow | What it says | changeset | files |
| Fri, 25 May 2007 21:08:53 +0200 | haftmann | improved error handling | changeset | files |
| Fri, 25 May 2007 21:08:52 +0200 | haftmann | using rudimentary class target mechanism | changeset | files |
| Fri, 25 May 2007 21:08:46 +0200 | haftmann | *** empty log message *** | changeset | files |