isabelle: Changelog

haftmann [Thu, 05 Jun 2014 19:39:38 +0200] rev 57177

sharpened criterion: bare named target is only at the bottom level

haftmann [Thu, 05 Jun 2014 19:39:35 +0200] rev 57176

tuned

traytel [Thu, 05 Jun 2014 11:41:38 +0200] rev 57175

extended stream library

haftmann [Thu, 05 Jun 2014 11:11:41 +0200] rev 57174

be more explicit: made sml/nj happy

haftmann [Thu, 05 Jun 2014 10:52:19 +0200] rev 57173

always refine interpretation morphism using canonical constant's definition theorem

noschinl [Wed, 04 Jun 2014 15:32:25 +0200] rev 57172

set USER_HOME to affect also ISABELLE_PATH et al

blanchet [Tue, 03 Jun 2014 16:27:31 +0200] rev 57171

merge

blanchet [Tue, 03 Jun 2014 16:22:59 +0200] rev 57170

updated SMT2 certificates

blanchet [Tue, 03 Jun 2014 16:02:42 +0200] rev 57169

tune

blanchet [Tue, 03 Jun 2014 16:02:41 +0200] rev 57168

disable hard-to-reconstruct Z3 feature

isabelle