src/Doc/Codegen/Evaluation.thy
Tue, 06 Oct 2015 15:14:28 +0200 wenzelm fewer aliases for toplevel theorem statements;
Sat, 18 Jul 2015 20:54:56 +0200 wenzelm prefer tactics with explicit context;
Thu, 15 Jan 2015 13:39:41 +0100 haftmann separate image for prerequisites of codegen tutorial
Thu, 15 Jan 2015 13:39:41 +0100 haftmann modernized cartouches
Sat, 10 Jan 2015 10:40:11 +0100 haftmann typo
Sat, 10 Jan 2015 10:24:30 +0100 haftmann avoid writing into source
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
less more (0) -10 -7 tip