isabelle: Changelog

wenzelm [Wed, 17 Feb 2010 11:01:01 +0100] rev 35162

giving up sunbroy2;

haftmann [Wed, 17 Feb 2010 09:51:46 +0100] rev 35161

merged

haftmann [Wed, 17 Feb 2010 09:48:53 +0100] rev 35160

a draft for an example how to turn specifications involving choice executable

haftmann [Wed, 17 Feb 2010 09:48:53 +0100] rev 35159

added lemma map_of_map_restrict; generalized lemma dom_const

haftmann [Wed, 17 Feb 2010 09:48:53 +0100] rev 35158

adjusted to changes in theory Mapping

haftmann [Wed, 17 Feb 2010 09:48:52 +0100] rev 35157

more close integration with theory Map

haftmann [Wed, 17 Feb 2010 09:48:52 +0100] rev 35156

mappings implemented by association lists

wenzelm [Tue, 16 Feb 2010 20:42:44 +0100] rev 35155

merged

boehmes [Tue, 16 Feb 2010 16:20:46 +0100] rev 35154

updated SMT certificates

boehmes [Tue, 16 Feb 2010 16:20:34 +0100] rev 35153

include solver arguments as comments in SMT problem files (to distinguish different results from the same problem when caching results)

isabelle