blanchet [Wed, 09 Jul 2014 11:35:52 +0200] rev 58876
got rid of a pointer equality
blanchet [Wed, 09 Jul 2014 11:35:52 +0200] rev 58875
get rid of some pointer equalities
blanchet [Wed, 09 Jul 2014 11:35:52 +0200] rev 58874
tuned terminology
blanchet [Wed, 09 Jul 2014 11:35:52 +0200] rev 58873
improvements to the machine learning algos (due to Cezary K.)
nipkow [Mon, 07 Jul 2014 17:01:11 +0200] rev 58872
added lemma
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58871
refactor some tactics
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58870
refactor some tactics
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58869
add helper function map_prod
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58868
document property 'rel_cases'
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58867
generate 'rel_cases' theorem for (co)datatypes