Thu, 19 Sep 2013 01:09:25 +0200 split functionality into two functions to avoid redoing work over and over
blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53727
split functionality into two functions to avoid redoing work over and over
Thu, 19 Sep 2013 01:09:25 +0200 added massaging function for primcorec code equations
blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53726
added massaging function for primcorec code equations
Thu, 19 Sep 2013 01:09:25 +0200 simplified code
blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53725
simplified code
Thu, 19 Sep 2013 01:09:25 +0200 no need for beta-eta contraction
blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53724
no need for beta-eta contraction
Thu, 19 Sep 2013 01:09:25 +0200 generalize helper function
blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53723
generalize helper function
Thu, 19 Sep 2013 00:32:33 +0200 generate more theorems (e.g. for types with only one constructor)
panny [Thu, 19 Sep 2013 00:32:33 +0200] rev 53722
generate more theorems (e.g. for types with only one constructor)
Wed, 18 Sep 2013 18:11:32 +0200 added two functions to List (one contributed by Manuel Eberl)
traytel [Wed, 18 Sep 2013 18:11:32 +0200] rev 53721
added two functions to List (one contributed by Manuel Eberl)
Wed, 18 Sep 2013 22:59:11 +0200 generate constructor view theorems
panny [Wed, 18 Sep 2013 22:59:11 +0200] rev 53720
generate constructor view theorems
Wed, 18 Sep 2013 20:54:46 +0200 merged;
wenzelm [Wed, 18 Sep 2013 20:54:46 +0200] rev 53719
merged;
Wed, 18 Sep 2013 20:33:36 +0200 merged;
wenzelm [Wed, 18 Sep 2013 20:33:36 +0200] rev 53718
merged;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip