Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | no need to make 'size' generation an interpretation -- overkill | changeset | files |
Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | put theorems in right slot | changeset | files |
Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | manual merge + added 'rel_distincts' field to record for symmetry | changeset | files |