isabelle: Changelog

haftmann [Fri, 01 Oct 2010 17:06:49 +0200] rev 39912

avoid antiquotation processing for code_reflect; moved ML_Context.value to Code_Runtime

haftmann [Fri, 01 Oct 2010 17:06:49 +0200] rev 39911

moved ML_Context.value to Code_Runtime

haftmann [Fri, 01 Oct 2010 16:05:25 +0200] rev 39910

constant `contents` renamed to `the_elem`

blanchet [Fri, 01 Oct 2010 18:49:09 +0200] rev 39909

merged

blanchet [Fri, 01 Oct 2010 18:48:37 +0200] rev 39908

tune whitespace

blanchet [Fri, 01 Oct 2010 17:56:32 +0200] rev 39907

rename bound variables after skolemizing, if the axiom of choice is available

blanchet [Fri, 01 Oct 2010 17:52:20 +0200] rev 39906

tuning

blanchet [Fri, 01 Oct 2010 17:41:59 +0200] rev 39905

rename quantified variables earlier in the new skolemizer, to ensure consistent naming later (in the absence of the choice axiom)

blanchet [Fri, 01 Oct 2010 16:58:56 +0200] rev 39904

tune bound names

blanchet [Fri, 01 Oct 2010 16:13:28 +0200] rev 39903

merged

isabelle