Fri, 23 Mar 2012 14:21:41 +0100 | kuncar | simplified code of generation of aggregate relations | changeset | files |
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 |