Fri, 12 Mar 2010 15:48:18 +0100 | nipkow | Added Hoare_Op.thy | changeset | files |
Fri, 12 Mar 2010 15:35:41 +0100 | hoelzl | Equality of integral and infinite sum. | changeset | files |
Fri, 12 Mar 2010 12:02:22 +0100 | blanchet | make tests less demanding, to prevent sporadic failures | changeset | files |