| Fri, 18 Mar 2016 08:32:37 +0100 | traytel | normalize schematic names since they are used to instantiate the theorem later | changeset | files |
| Thu, 17 Mar 2016 14:48:14 +0100 | hoelzl | more stuff for extended nonnegative real numbers | changeset | files |
| Thu, 17 Mar 2016 08:56:45 +0100 | Andreas Lochbihler | less preconditions | changeset | files |
| Wed, 16 Mar 2016 22:42:15 +0100 | wenzelm | merged | changeset | files |
| Wed, 16 Mar 2016 22:19:08 +0100 | wenzelm | eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation; | changeset | files |
| Wed, 16 Mar 2016 22:16:58 +0100 | wenzelm | pro-forma selection for improved error message; | changeset | files |
| Wed, 16 Mar 2016 22:06:05 +0100 | wenzelm | eliminated without magic name; | changeset | files |