isabelle: Changelog

nipkow [Thu, 01 Apr 2010 12:19:37 +0200] rev 36072

merged

nipkow [Thu, 01 Apr 2010 12:19:20 +0200] rev 36071

tuned many proofs a bit

nipkow [Thu, 01 Apr 2010 09:31:58 +0200] rev 36070

merged

nipkow [Mon, 29 Mar 2010 09:47:21 +0200] rev 36069

documented [[trace_simp=true]]

blanchet [Thu, 01 Apr 2010 11:12:08 +0200] rev 36068

add missing goal argument

blanchet [Thu, 01 Apr 2010 10:54:21 +0200] rev 36067

adapt syntax of Sledgehammer options in examples

blanchet [Thu, 01 Apr 2010 10:27:06 +0200] rev 36066

merged

blanchet [Thu, 01 Apr 2010 10:26:45 +0200] rev 36065

fixed layout of Sledgehammer output

blanchet [Mon, 29 Mar 2010 19:49:57 +0200] rev 36064

added "modulus" and "sorts" options to control Sledgehammer's Isar proof output

blanchet [Mon, 29 Mar 2010 18:44:24 +0200] rev 36063

make Sledgehammer output "by" vs. "apply", "qed" vs. "next", and any necessary "prefer"

isabelle