| Tue, 30 Jun 2015 15:41:11 +0200 | wenzelm | no arguments for "standard" (or old "default") methods; | changeset | files |
| Tue, 30 Jun 2015 15:20:56 +0200 | wenzelm | renamed "default" to "standard", to make semantically clear what it is; | changeset | files |
| Tue, 30 Jun 2015 10:40:42 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 30 Jun 2015 14:04:13 +0100 | paulson | Merge | changeset | files |
| Tue, 30 Jun 2015 13:56:16 +0100 | paulson | Useful lemmas. The theorem concerning swapping the variables in a double integral. | changeset | files |
| Tue, 30 Jun 2015 13:30:04 +0200 | hoelzl | generalized inf and sup_continuous; added intro rules | changeset | files |
| Tue, 30 Jun 2015 13:29:30 +0200 | hoelzl | fix tex-output for rel_mset | changeset | files |