src/HOL/Integ/IntDef.thy
Fri, 02 Dec 2005 16:05:12 +0100 haftmann adjusted to improved code generator interface
Tue, 22 Nov 2005 12:59:25 +0100 haftmann added codegenerator
Tue, 08 Nov 2005 09:13:22 +0100 haftmann (fix for accidental commit)
less more (0) -30 -10 -3 tip