src/HOL/ex/Codegenerator_Rat.thy
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Thu, 26 Apr 2007 13:33:09 +0200 haftmann slightly tuned
Fri, 23 Mar 2007 09:40:50 +0100 haftmann tuned
Tue, 16 Jan 2007 08:12:09 +0100 haftmann refined and added example for ExecutableRat
less more (0) tip