Tue, 12 Nov 2013 19:28:52 +0100 | hoelzl | stronger inc_induct and dec_induct | changeset | files |
Tue, 12 Nov 2013 19:28:51 +0100 | hoelzl | countability of the image of a reflexive transitive closure | changeset | files |
Tue, 12 Nov 2013 19:28:51 +0100 | hoelzl | support of_rat with 0 or 1 on order relations | changeset | files |