isabelle: Changelog

huffman [Tue, 26 Oct 2010 08:36:52 -0700] rev 40214

use Term.add_tfreesT

huffman [Sun, 24 Oct 2010 15:42:57 -0700] rev 40213

rename case combinators generated by domain package to 'foo_case' instead of 'foo_when'

huffman [Sun, 24 Oct 2010 15:19:17 -0700] rev 40212

rename constant 'one_when' to 'one_case'

haftmann [Wed, 27 Oct 2010 16:40:34 +0200] rev 40211

merged

haftmann [Wed, 27 Oct 2010 16:40:31 +0200] rev 40210

sorting: avoid _key suffix if lemma applies both to simple and generalized variant; generalized insort_insert to insort_insert_key; additional lemmas

krauss [Wed, 27 Oct 2010 13:46:30 +0200] rev 40209

regenerated keyword file

boehmes [Wed, 27 Oct 2010 08:58:03 +0200] rev 40208

made SML/NJ happy

blanchet [Tue, 26 Oct 2010 21:51:04 +0200] rev 40207

adapted SMT solver error handling to reflect latest changes in "SMT_Solver"

blanchet [Tue, 26 Oct 2010 21:43:50 +0200] rev 40206

better list of irrelevant SMT constants

blanchet [Tue, 26 Oct 2010 21:34:01 +0200] rev 40205

if "debug" is on, print list of relevant facts (poweruser request); internal renaming

isabelle