isabelle: Changelog

haftmann [Tue, 26 Oct 2010 12:19:22 +0200] rev 40176

tuned

krauss [Tue, 26 Oct 2010 12:21:45 +0200] rev 40175

merged

krauss [Tue, 26 Oct 2010 12:19:02 +0200] rev 40174

use partial_function instead of MREC combinator; curried rev'

krauss [Tue, 26 Oct 2010 12:19:02 +0200] rev 40173

added Heap monad instance of partial_function package

krauss [Tue, 26 Oct 2010 12:19:02 +0200] rev 40172

added Spec_Rule declaration to partial_function

krauss [Tue, 26 Oct 2010 12:19:01 +0200] rev 40171

basic documentation for command partial_function

krauss [Tue, 26 Oct 2010 12:19:01 +0200] rev 40170

remove outdated "(otherwise)" syntax from manual

krauss [Tue, 26 Oct 2010 12:19:01 +0200] rev 40169

declare recursive equation as ".simps", in accordance with other packages

haftmann [Tue, 26 Oct 2010 12:16:08 +0200] rev 40168

merged

haftmann [Tue, 26 Oct 2010 12:15:55 +0200] rev 40167

dropped accidental doubled computation

isabelle