isabelle: Changelog

blanchet [Mon, 06 Sep 2010 11:28:06 +0200] rev 39152

make remote ATP invocation work for those people who need to go through a proxy; thanks go to Mathieu G. for that fix

krauss [Sun, 05 Sep 2010 21:39:30 +0200] rev 39151

enabled do notation for option type

krauss [Sun, 05 Sep 2010 21:39:24 +0200] rev 39150

removed duplicate lemma

krauss [Sun, 05 Sep 2010 21:39:16 +0200] rev 39149

added Option.bind

haftmann [Sat, 04 Sep 2010 21:14:40 +0200] rev 39148

merged

haftmann [Sat, 04 Sep 2010 21:13:13 +0200] rev 39147

printing combinator for hierarchical programs

haftmann [Sat, 04 Sep 2010 21:12:42 +0200] rev 39146

merged

huffman [Sat, 04 Sep 2010 08:32:19 -0700] rev 39145

add lemma cont2cont_Let_simple

huffman [Sat, 04 Sep 2010 07:35:56 -0700] rev 39144

add lemma cont2cont_split_simple

huffman [Sat, 04 Sep 2010 07:26:34 -0700] rev 39143

add List_Cpo.thy to HOLCF/Library

isabelle