| Thu, 06 Jan 2011 17:40:38 -0800 | huffman | rename constant u_defl to u_liftdefl; | changeset | files |
| Thu, 06 Jan 2011 16:52:35 -0800 | huffman | rename constant pdefl to liftdefl_of | changeset | files |
| Thu, 06 Jan 2011 21:06:18 +0100 | ballarin | Diagnostic command to show locale dependencies. | changeset | files |
| Thu, 06 Jan 2011 21:06:17 +0100 | ballarin | Documentation for 'interpret' and 'sublocale' with mixins. | changeset | files |
| Thu, 06 Jan 2011 21:06:17 +0100 | ballarin | Abelian group facts obtained from group facts via interpretation (sublocale). | changeset | files |
| Thu, 06 Jan 2011 17:51:56 +0100 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | changeset | files |
| Tue, 04 Jan 2011 15:46:38 -0800 | huffman | remove various lemmas redundant with lub_eq_bottom_iff | changeset | files |