src/Doc/Codegen/Setup.thy
Wed, 09 Sep 2015 14:47:41 +0200 wenzelm eliminated \<Colon> from syntax of constraints;
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:24:30 +0100 haftmann avoid writing into source
Fri, 09 Jan 2015 08:37:00 +0100 haftmann prefer option for default code printing width
Fri, 21 Mar 2014 11:06:39 +0100 wenzelm tuned signature;
Fri, 21 Mar 2014 10:45:03 +0100 wenzelm tuned signature;
less more (0) -10 -7 tip