Fri, 06 Apr 2012 14:39:27 +0200 | huffman | more robust generation of quotient rules using tactics | file | diff | annotate |
Fri, 06 Apr 2012 10:37:46 +0200 | huffman | add function dest_Quotient | file | diff | annotate |
Thu, 05 Apr 2012 23:22:54 +0200 | kuncar | detect incorrect situations; better error messages; sanity check for quot_thm in setup_lifting_infr | file | diff | annotate |
Wed, 04 Apr 2012 13:41:38 +0200 | huffman | prove_quot_theorem fixes types | file | diff | annotate |
Tue, 03 Apr 2012 16:26:48 +0200 | kuncar | new package Lifting - initial commit | file | diff | annotate |