src/HOL/Code_Eval.thy
Tue, 23 Sep 2008 18:11:42 +0200 haftmann renamed rtype to typerep
Mon, 22 Sep 2008 13:56:01 +0200 haftmann absolute Library path
Tue, 16 Sep 2008 16:13:06 +0200 haftmann moved term_of syntax to separate theory
Tue, 16 Sep 2008 09:21:24 +0200 haftmann evaluation using code generator
less more (0) tip