Thu, 03 Jul 2014 11:31:25 +0200 merge
desharna [Thu, 03 Jul 2014 11:31:25 +0200] rev 57495
merge
Thu, 03 Jul 2014 11:30:23 +0200 document property 'rel_intros'
desharna [Thu, 03 Jul 2014 11:30:23 +0200] rev 57494
document property 'rel_intros'
Thu, 03 Jul 2014 11:30:02 +0200 generate 'rel_intros' theorem for (co)datatypes
desharna [Thu, 03 Jul 2014 11:30:02 +0200] rev 57493
generate 'rel_intros' theorem for (co)datatypes
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip