Sun, 05 Jun 2011 15:00:17 +0200 made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
boehmes [Sun, 05 Jun 2011 15:00:17 +0200] rev 43154
made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
Fri, 03 Jun 2011 19:37:26 +0200 changing the mira setting again for the mutabelle configuration
bulwahn [Fri, 03 Jun 2011 19:37:26 +0200] rev 43153
changing the mira setting again for the mutabelle configuration
Fri, 03 Jun 2011 07:25:44 +0200 adding more settings to mira's mutabelle configuration
bulwahn [Fri, 03 Jun 2011 07:25:44 +0200] rev 43152
adding more settings to mira's mutabelle configuration
Thu, 02 Jun 2011 15:17:23 +0200 merged
nipkow [Thu, 02 Jun 2011 15:17:23 +0200] rev 43151
merged
Thu, 02 Jun 2011 10:10:23 +0200 Added typed IMP
nipkow [Thu, 02 Jun 2011 10:10:23 +0200] rev 43150
Added typed IMP
Thu, 02 Jun 2011 10:13:46 +0200 adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively
bulwahn [Thu, 02 Jun 2011 10:13:46 +0200] rev 43149
adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively
Thu, 02 Jun 2011 09:51:40 +0200 adding invocation of exhaustive testing without using finite types to mutabelle
bulwahn [Thu, 02 Jun 2011 09:51:40 +0200] rev 43148
adding invocation of exhaustive testing without using finite types to mutabelle
Thu, 02 Jun 2011 09:51:40 +0200 moving the distinction between invocation of testers and generators into test_goal_terms function in quickcheck for its usage with mutabelle
bulwahn [Thu, 02 Jun 2011 09:51:40 +0200] rev 43147
moving the distinction between invocation of testers and generators into test_goal_terms function in quickcheck for its usage with mutabelle
Thu, 02 Jun 2011 08:55:08 +0200 splitting Dlist theory in Dlist and Dlist_Cset
bulwahn [Thu, 02 Jun 2011 08:55:08 +0200] rev 43146
splitting Dlist theory in Dlist and Dlist_Cset
Wed, 01 Jun 2011 23:08:04 +0200 merged
nipkow [Wed, 01 Jun 2011 23:08:04 +0200] rev 43145
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip