| Wed, 17 Dec 2014 16:10:30 +0100 | hoelzl | unfortunately, there is no general function space in the measurable spaces | changeset | files |
| Mon, 15 Dec 2014 07:20:49 +0100 | blanchet | correctly apply type substitution before checking for function types | changeset | files |
| Mon, 15 Dec 2014 07:20:48 +0100 | blanchet | avoid generating selectors with function types -- this produce arity inconsistencies | changeset | files |
| Mon, 15 Dec 2014 07:20:48 +0100 | blanchet | renamed theory file | changeset | files |
| Fri, 12 Dec 2014 14:42:37 +0100 | wenzelm | merged | changeset | files |
| Fri, 12 Dec 2014 14:31:57 +0100 | wenzelm | Synchronized.value is actually synchronized (NB: underlying Unsynchronized.ref is not necessarily volatile); | changeset | files |