| Wed, 08 May 2013 13:33:04 +0200 | traytel | relator induction for datatypes | changeset | files |
| Wed, 08 May 2013 11:57:42 +0200 | traytel | store proper theorems even for fixed points that have no passive live variables | changeset | files |
| Wed, 08 May 2013 09:45:30 +0200 | traytel | stronger monotonicity property for relators | changeset | files |
| Wed, 08 May 2013 09:39:30 +0200 | traytel | make tactic actually work for op = as relator | changeset | files |
| Wed, 08 May 2013 06:14:11 +0200 | nipkow | tuned | changeset | files |
| Wed, 08 May 2013 04:16:44 +0200 | nipkow | hide Fin on output | changeset | files |
| Tue, 07 May 2013 21:37:40 +0200 | blanchet | removed dead argument | changeset | files |