haftmann [Mon, 18 Jun 2012 15:48:43 +0200] rev 49117
class target handles additional non-class term parameters appropriately
Andreas Lochbihler [Tue, 12 Jun 2012 15:32:14 +0200] rev 49116
merged
Andreas Lochbihler [Tue, 12 Jun 2012 15:31:53 +0200] rev 49115
add lemma to FinFun
krauss [Wed, 06 Jun 2012 21:36:21 +0200] rev 49114
fun command: produce hard failure when equations do not contribute to the specification (i.e., are covered by preceding clauses), to avoid confusing inexperienced users
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 49113
tweak Metis example to avoid glitch in proof reconstruction with a few guard-based, type-argument-less encodings
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 49112
pass more facts to LEO-II, in the light of latest evaluation
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 49111
prevent an "Empty" exception (e.g. with Satallax, "mono_native")
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 49110
tuning terminology
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 49109
updated NEWS
blanchet [Wed, 06 Jun 2012 10:35:05 +0200] rev 49108
updated docs