Sun, 04 Mar 2012 23:20:43 +0100 | blanchet | addressed a quotient-type-related issue that arose with the port to "set" | changeset | files |
Sun, 04 Mar 2012 23:20:43 +0100 | blanchet | ensure no abstractions leak through after lambda-lifting (for formulas with higher-order occurrences of quantifiers) | changeset | files |
Sun, 04 Mar 2012 23:04:40 +0100 | wenzelm | updates for jedit-4.5.0 (still inactive); | changeset | files |