| Mon, 10 Jun 2013 06:08:14 -0700 | huffman | more transfer rules for sets | file | diff | annotate |
| Wed, 15 May 2013 12:10:39 +0200 | kuncar | stronger reflexivity prover | file | diff | annotate |
| Mon, 13 May 2013 13:59:04 +0200 | kuncar | better support for domains in Lifting/Transfer = replace Domainp T by the actual invariant in a transferred goal | file | diff | annotate |
| Fri, 08 Mar 2013 13:21:52 +0100 | kuncar | add [relator_mono] and [relator_distr] rules | file | diff | annotate |
| Thu, 24 May 2012 14:20:23 +0200 | kuncar | prove reflexivity also for the quotient composition relation; reflp_preserve renamed to reflexivity_rule | file | diff | annotate |
| Wed, 16 May 2012 19:15:45 +0200 | kuncar | infrastructure that makes possible to prove that a relation is reflexive | file | diff | annotate |
| Mon, 14 May 2012 17:09:11 +0200 | huffman | add transfer rule for set_rel | file | diff | annotate |