| Thu, 10 Apr 2014 17:48:16 +0200 | kuncar | don't forget to init Interpretation and transfer theorems in the interpretation hook | changeset | files |
| Thu, 10 Apr 2014 17:48:16 +0200 | kuncar | export theorems | changeset | files |
| Thu, 10 Apr 2014 17:48:15 +0200 | kuncar | abstract Domainp in relator_domain rules => more natural statement of the rule | changeset | files |