| Thu, 06 Mar 2014 15:40:33 +0100 | blanchet | renamed 'fun_rel' to 'rel_fun' | file | diff | annotate |
| Thu, 06 Mar 2014 15:29:18 +0100 | blanchet | renamed 'prod_rel' to 'rel_prod' | file | diff | annotate |
| Thu, 06 Mar 2014 13:36:48 +0100 | blanchet | renamed 'map_pair' to 'map_prod' | file | diff | annotate |
| Tue, 18 Feb 2014 23:03:49 +0100 | kuncar | delete or move now not necessary reflexivity rules due to 1726f46d2aa8 | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed '{prod,sum,bool,unit}_case' to 'case_...' | file | diff | annotate |
| Mon, 20 Jan 2014 21:32:41 +0100 | blanchet | moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain | file | diff | annotate |
| Mon, 20 Jan 2014 20:21:12 +0100 | blanchet | move BNF_LFP up the dependency chain | file | diff | annotate |
| Tue, 13 Aug 2013 15:59:22 +0200 | kuncar | move Lifting/Transfer relevant parts of Library/Quotient_* to Main | file | diff | annotate |