isabelle: File revisions

src/HOL/ex/Normalization_by_Evaluation.thy

2017-08-06	haftmann	do not fall back on nbe if plain evaluation fails	file \| diff \| annotate
2015-12-28	wenzelm	more symbols;	file \| diff \| annotate
2015-10-13	haftmann	prod_case as canonical name for product type eliminator	file \| diff \| annotate
2015-10-06	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2015-09-01	wenzelm	eliminated \<Colon>;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-09-11	blanchet	updated news	file \| diff \| annotate
2014-09-09	blanchet	use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries	file \| diff \| annotate
2014-05-09	haftmann	hardcoded nbe and sml into value command	file \| diff \| annotate
2010-12-07	haftmann	removed experimental equality checking of closures; acknowledge underapproximation of equality in function name	file \| diff \| annotate
2010-11-26	haftmann	nbe decides equality of abstractions by extensionality	file \| diff \| annotate
2010-09-15	haftmann	more explicit theory name	file \| diff \| annotate \| base

isabelle