src/HOL/Library/Eval_Witness.thy
Wed, 21 Jan 2009 23:40:23 +0100 haftmann no base sort in class import
Thu, 18 Sep 2008 19:39:44 +0200 wenzelm simplified oracle interface;
Thu, 28 Aug 2008 22:09:20 +0200 haftmann restructured and split code serializer module
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 10 Jun 2008 15:30:06 +0200 haftmann major refactorings in code generator modules
Sun, 18 May 2008 15:04:09 +0200 wenzelm moved global pretty/string_of functions from Sign to Syntax;
Fri, 22 Feb 2008 16:31:37 +0100 haftmann non-operative code antiquotation
Mon, 10 Dec 2007 11:24:12 +0100 haftmann switched import from Main to List
Thu, 04 Oct 2007 19:41:49 +0200 haftmann clarified relationship of code generator conversions and evaluations
Wed, 15 Aug 2007 08:57:40 +0200 haftmann added Eval_Witness theory
less more (0) tip