| Fri, 20 Apr 2012 14:57:19 +0200 | huffman | add new transfer rules and setup for lifting package | changeset | files |
| Fri, 20 Apr 2012 10:37:00 +0200 | huffman | setup_lifting preprocesses forall_transfer rule by unfolding mem_Collect_eq | changeset | files |
| Fri, 20 Apr 2012 11:17:01 +0200 | hoelzl | NEWS | changeset | files |
| Fri, 20 Apr 2012 11:14:39 +0200 | hoelzl | hide code generation facts in the Float theory, they are only exported for Approximation | changeset | files |
| Fri, 20 Apr 2012 10:47:04 +0200 | nipkow | merged | changeset | files |
| Fri, 20 Apr 2012 10:46:55 +0200 | nipkow | forgot to add file | changeset | files |
| Fri, 20 Apr 2012 10:18:08 +0200 | huffman | make correspondence tactic more robust by replacing lhs with schematic variable before applying intro rules | changeset | files |
| Thu, 19 Apr 2012 23:18:47 +0200 | wenzelm | merged | changeset | files |