isabelle: Changelog

bulwahn [Mon, 27 Sep 2010 12:23:00 +0200] rev 39724

adding further tracing messages; tuned

bulwahn [Mon, 27 Sep 2010 12:22:57 +0200] rev 39723

handling nested cases more elegant by requiring less new constants

blanchet [Mon, 27 Sep 2010 12:01:04 +0200] rev 39722

merged

blanchet [Mon, 27 Sep 2010 12:00:53 +0200] rev 39721

renamed function

blanchet [Mon, 27 Sep 2010 10:44:08 +0200] rev 39720

rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic"

blanchet [Mon, 27 Sep 2010 09:17:24 +0200] rev 39719

comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background)

blanchet [Mon, 27 Sep 2010 09:14:39 +0200] rev 39718

remove needless flag

haftmann [Mon, 27 Sep 2010 11:12:08 +0200] rev 39717

added hint on reference equality

haftmann [Mon, 27 Sep 2010 11:12:01 +0200] rev 39716

treat equality on refs and arrays as primitive operation

haftmann [Mon, 27 Sep 2010 11:11:59 +0200] rev 39715

corrected OCaml operator precedence

isabelle