| Thu, 24 Dec 2015 09:42:49 +0100 | haftmann | tuned proofs and augmented lemmas | changeset | files |
| Thu, 24 Dec 2015 12:50:12 +0100 | haftmann | tuned proof | changeset | files |
| Wed, 23 Dec 2015 23:15:42 +0100 | wenzelm | less ambitious test; | changeset | files |
| Wed, 23 Dec 2015 23:13:16 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Dec 2015 23:09:13 +0100 | wenzelm | clarified directory structure; | changeset | files |
| Wed, 23 Dec 2015 21:15:26 +0100 | wenzelm | updated polyml; | changeset | files |
| Wed, 23 Dec 2015 20:23:44 +0100 | wenzelm | clarified context policy to allow multiple dummies; | changeset | files |
| Wed, 23 Dec 2015 17:35:07 +0100 | wenzelm | NEWS; | changeset | files |
| Wed, 23 Dec 2015 17:24:12 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Dec 2015 16:43:31 +0100 | wenzelm | merged | changeset | files |
| Wed, 23 Dec 2015 16:38:23 +0100 | wenzelm | tuned module arrangement; | changeset | files |
| Wed, 23 Dec 2015 16:33:15 +0100 | wenzelm | tuned module arrangement; | changeset | files |
| Wed, 23 Dec 2015 14:40:18 +0100 | wenzelm | check and report source at most once, notably in body of "match" method; | changeset | files |
| Wed, 23 Dec 2015 14:36:45 +0100 | immler | transfer rule for bounded_linear of blinfun | changeset | files |
| Tue, 22 Dec 2015 21:58:27 +0100 | immler | theory for type of bounded linear functions; differentiation under the integral sign | changeset | files |
| Tue, 22 Dec 2015 15:39:01 +0100 | haftmann | stripped some legacy | changeset | files |