Tue, 12 Aug 2014 12:31:42 +0200 | desharna | generate 'set_cases' theorem for (co)datatypes | changeset | files |
Tue, 12 Aug 2014 12:01:38 +0200 | desharna | document property 'set_intros' | changeset | files |
Tue, 12 Aug 2014 12:01:37 +0200 | desharna | generate 'set_intros' theorem for (co)datatypes | changeset | files |