| Wed, 18 Apr 2012 12:15:20 +0200 | huffman | lifting_setup generates transfer rule for rep of typedefs | file | diff | annotate |
| Wed, 18 Apr 2012 10:52:49 +0200 | huffman | use context block to organize typedef lifting theorems | file | diff | annotate |
| Tue, 17 Apr 2012 19:16:13 +0200 | kuncar | tuned the setup of lifting; generate transfer rules for typedef and Quotient thms | 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 17:51:12 +0200 | kuncar | support non-open typedefs; define cr_rel in terms of a rep function for typedefs | file | diff | annotate |
| Wed, 04 Apr 2012 11:50:08 +0200 | huffman | fix typos | file | diff | annotate |
| Wed, 04 Apr 2012 10:38:04 +0200 | huffman | fix typo in ML structure name | file | diff | annotate |
| Tue, 03 Apr 2012 16:26:48 +0200 | kuncar | new package Lifting - initial commit | file | diff | annotate |