boehmes [Sun, 05 Jun 2011 15:00:52 +0200] rev 43155
updated SMT certificates
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)
bulwahn [Fri, 03 Jun 2011 19:37:26 +0200] rev 43153
changing the mira setting again for the mutabelle configuration
bulwahn [Fri, 03 Jun 2011 07:25:44 +0200] rev 43152
adding more settings to mira's mutabelle configuration
nipkow [Thu, 02 Jun 2011 15:17:23 +0200] rev 43151
merged
nipkow [Thu, 02 Jun 2011 10:10:23 +0200] rev 43150
Added typed IMP
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
bulwahn [Thu, 02 Jun 2011 09:51:40 +0200] rev 43148
adding invocation of exhaustive testing without using finite types to 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
bulwahn [Thu, 02 Jun 2011 08:55:08 +0200] rev 43146
splitting Dlist theory in Dlist and Dlist_Cset