isabelle: File revisions

src/Tools/Code/code_preproc.ML

Thu, 18 Apr 2013 17:07:01 +0200	wenzelm	simplifier uses proper Proof.context instead of historic type simpset;	file \| diff \| annotate
Wed, 10 Apr 2013 15:30:19 +0200	wenzelm	more standard module name Axclass (according to file name);	file \| diff \| annotate
Tue, 09 Apr 2013 15:29:25 +0200	wenzelm	discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems';	file \| diff \| annotate
Mon, 22 Oct 2012 19:02:36 +0200	haftmann	close code theorems explicitly after preprocessing	file \| diff \| annotate
Tue, 05 Jun 2012 10:12:54 +0200	haftmann	apply preprocessing simpset also to rhs of abstract code equations	file \| diff \| annotate
Sun, 18 Mar 2012 13:04:22 +0100	wenzelm	maintain generic context naming in structure Name_Space (NB: empty = default_naming, init = local_naming);	file \| diff \| annotate
Fri, 16 Mar 2012 18:20:12 +0100	wenzelm	outer syntax command definitions based on formal command_spec derived from theory header declarations;	file \| diff \| annotate

isabelle