Thu, 26 Apr 2012 12:01:58 +0200 | kuncar | use a quot_map theorem attribute instead of the complicated map attribute | file | diff | annotate |
Fri, 20 Apr 2012 18:29:21 +0200 | kuncar | hide the invariant constant for relators: invariant_commute infrastracture | file | diff | annotate |
Tue, 03 Apr 2012 16:26:48 +0200 | kuncar | new package Lifting - initial commit | file | diff | annotate |