| Fri, 23 Mar 2012 14:20:09 +0100 | kuncar | store the relational theorem for every relator | changeset | files |
| Fri, 23 Mar 2012 14:18:43 +0100 | kuncar | store the quotient theorem for every quotient | changeset | files |
| Fri, 23 Mar 2012 14:17:29 +0100 | kuncar | fix Quotient_Examples | changeset | files |
| Fri, 23 Mar 2012 14:03:58 +0100 | kuncar | respectfulness theorem has to be proved if a new constant is lifted by quotient_definition | changeset | files |