| Mon, 03 Dec 2012 18:19:02 +0100 | hoelzl | add filterlim rules for diverging multiplication and addition; move at_infinity to the HOL image | changeset | files |
| Mon, 03 Dec 2012 18:19:01 +0100 | hoelzl | add filterlim rules for unary minus and inverse | changeset | files |
| Mon, 03 Dec 2012 18:18:59 +0100 | hoelzl | rename filter_lim to filterlim to be consistent with filtermap | changeset | files |
| Mon, 03 Dec 2012 18:13:23 +0100 | hoelzl | add check to Cooper's algorithm that left-hand of dvd is a numeral | changeset | files |