| Mon, 13 May 2013 13:01:10 +0200 | wenzelm | clarified message when subgoals have been stripped -- unconditional; | changeset | files |
| Mon, 13 May 2013 12:40:17 +0200 | wenzelm | retain goal display options when printing error messages, to avoid breakdown for huge goals; | changeset | files |
| Mon, 13 May 2013 15:22:19 +0200 | kuncar | typo | changeset | files |
| Mon, 13 May 2013 13:59:04 +0200 | kuncar | better support for domains in Lifting/Transfer = replace Domainp T by the actual invariant in a transferred goal | changeset | files |
| Mon, 13 May 2013 12:13:24 +0200 | kuncar | try to detect assumptions of transfer rules that are in a shape of a transfer rule | changeset | files |
| Mon, 13 May 2013 12:13:24 +0200 | kuncar | publish a private function | changeset | files |
| Mon, 13 May 2013 06:50:37 +0200 | nipkow | tuned names | changeset | files |