| Tue, 27 Mar 2012 15:34:04 +0200 | huffman | generalize more div/mod lemmas | changeset | files |
| Tue, 27 Mar 2012 15:27:49 +0200 | huffman | generalize some theorems about div/mod | changeset | files |
| Wed, 28 Mar 2012 00:18:11 +0200 | wenzelm | updated to jedit-4.5.1; | changeset | files |
| Tue, 27 Mar 2012 17:58:53 +0200 | kuncar | merged | changeset | files |
| Tue, 27 Mar 2012 14:46:34 +0200 | kuncar | note a code eqn in quotient_def | changeset | files |
| Tue, 27 Mar 2012 17:11:02 +0200 | boehmes | dropped support for List.distinct in binding to SMT solvers: only few applications benefited from this support, and in some cases the smt method fails due to its support for List.distinct | changeset | files |
| Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | more robustness in case a theorem cannot be retrieved (which typically happens with backtick facts) | changeset | files |
| Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | fixed eta-extension of higher-order quantifiers in THF output | changeset | files |