isabelle: File revisions

src/HOL/Code_Evaluation.thy

Fri, 24 Feb 2012 09:40:02 +0100	haftmann	given up disfruitful branch	file \| diff \| annotate
Thu, 23 Feb 2012 21:25:59 +0100	haftmann	moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy	file \| diff \| annotate
Thu, 26 May 2011 09:42:02 +0200	bulwahn	extending terms of Code_Evaluation by Free to allow partial terms	file \| diff \| annotate
Thu, 02 Dec 2010 14:34:38 +0100	haftmann	corrected representation for code_numeral numerals	file \| diff \| annotate
Thu, 02 Dec 2010 13:53:36 +0100	haftmann	separate term_of function for integers -- more canonical representation of negative integers	file \| diff \| annotate
Mon, 22 Nov 2010 10:41:57 +0100	bulwahn	adding dummy definition for Code_Evaluation.Abs and hiding constants App less strict	file \| diff \| annotate
Mon, 20 Sep 2010 18:43:23 +0200	haftmann	dynamic_eval_conv static_eval_conv: certification of previously unreliably reconstructed evaluated term	file \| diff \| annotate

isabelle