| 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 |