| Mon, 21 May 2012 16:36:48 +0200 | kuncar | quot_del attribute, it allows us to deregister quotient types | file | diff | annotate |
| Thu, 26 Apr 2012 12:01:58 +0200 | kuncar | use a quot_map theorem attribute instead of the complicated map attribute | file | diff | annotate |
| Mon, 23 Apr 2012 18:42:03 +0200 | kuncar | added useful Trueprop_conv | file | diff | annotate |
| Mon, 23 Apr 2012 17:18:18 +0200 | kuncar | move MRSL to a separate file | file | diff | annotate |