src/HOL/ex/Codegenerator.thy
Tue, 06 Jun 2006 15:01:09 +0200 haftmann small fix
Tue, 09 May 2006 10:11:47 +0200 haftmann removed 1::int
Fri, 17 Mar 2006 14:20:24 +0100 haftmann added example for operational classes and code generator
less more (0) tip