isabelle: Changelog

huffman [Sat, 03 Sep 2011 11:10:38 -0700] rev 44690

remove unused assumption from lemma posreal_complete

haftmann [Sat, 03 Sep 2011 23:59:36 +0200] rev 44689

tuned specifications

haftmann [Sat, 03 Sep 2011 23:38:06 +0200] rev 44688

merged

haftmann [Sat, 03 Sep 2011 17:56:33 +0200] rev 44687

tuned proof

haftmann [Sat, 03 Sep 2011 17:32:45 +0200] rev 44686

merged

haftmann [Sat, 03 Sep 2011 17:32:35 +0200] rev 44685

assert Pure equations for theorem references; avoid dynamic reference to fact

haftmann [Sat, 03 Sep 2011 17:32:34 +0200] rev 44684

assert Pure equations for theorem references; tuned

haftmann [Sat, 03 Sep 2011 17:32:34 +0200] rev 44683

tuned specifications and proofs

wenzelm [Sat, 03 Sep 2011 22:11:49 +0200] rev 44682

merged

huffman [Sat, 03 Sep 2011 09:26:11 -0700] rev 44681

remove duplicate lemma finite_choice in favor of finite_set_choice

isabelle