isabelle: File revisions

src/Tools/Code/code_preproc.ML

Thu, 29 Dec 2011 10:47:54 +0100	haftmann	semiring_numeral_0_eq_0, semiring_numeral_1_eq_1 now [simp], superseeding corresponding simp rules on type nat	file \| diff \| annotate
Fri, 21 Oct 2011 11:17:12 +0200	bulwahn	removing redundant attribute code_inline in the code generator	file \| diff \| annotate
Wed, 19 Oct 2011 09:11:19 +0200	bulwahn	removing declaration of code_unfold to address the old code generator	file \| diff \| annotate
Sat, 20 Aug 2011 23:35:30 +0200	wenzelm	refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;	file \| diff \| annotate
Wed, 01 Jun 2011 08:07:27 +0200	bulwahn	code preprocessor applies simplifier when schematic variables are fixed to free variables to allow rewriting with congruence rules in the preprocessing steps	file \| diff \| annotate
Mon, 18 Apr 2011 13:26:39 +0200	wenzelm	pass plain Proof.context for pretty printing;	file \| diff \| annotate
Mon, 18 Apr 2011 11:13:29 +0200	wenzelm	simplified pretty printing context, which is only required for certain kernel operations;	file \| diff \| annotate
Sat, 16 Apr 2011 16:15:37 +0200	wenzelm	modernized structure Proof_Context;	file \| diff \| annotate

isabelle