src/HOL/Code_Generator.thy
Fri, 29 Dec 2006 20:34:17 +0100 haftmann changed syntax for axclass attach
Wed, 27 Dec 2006 19:09:53 +0100 haftmann moved code generator bool setup here
Mon, 18 Dec 2006 08:21:25 +0100 haftmann new-style oracle setup
less more (0) -10 -3 tip