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 |