isabelle: Changelog

haftmann [Wed, 22 Sep 2010 09:40:11 +0200] rev 39607

distinguish SML and Eval explicitly

haftmann [Tue, 21 Sep 2010 15:46:06 +0200] rev 39606

no_frees_* is subsumed by new framework mechanisms in Code_Preproc

haftmann [Tue, 21 Sep 2010 15:46:06 +0200] rev 39605

reject term variables explicitly

haftmann [Tue, 21 Sep 2010 15:46:05 +0200] rev 39604

avoid frees and vars in terms to be evaluated by abstracting and applying

haftmann [Tue, 21 Sep 2010 15:46:05 +0200] rev 39603

tuned whitespace

blanchet [Wed, 22 Sep 2010 10:02:39 +0200] rev 39602

make SML/NJ happier

haftmann [Tue, 21 Sep 2010 14:42:29 +0200] rev 39601

more conventional conversion signature

haftmann [Tue, 21 Sep 2010 14:42:27 +0200] rev 39600

added nbe paper

haftmann [Tue, 21 Sep 2010 14:36:13 +0200] rev 39599

continued section abut evaluation

blanchet [Tue, 21 Sep 2010 10:02:50 +0200] rev 39598

make SML/NJ happier

isabelle