src/HOL/Library/Code_Char.thy
Fri, 27 Aug 2010 19:34:23 +0200 haftmann renamed class/constant eq to equal; tuned some instantiations
Fri, 18 Jun 2010 15:03:20 +0200 haftmann avoid Scala legacy operations
Tue, 01 Jun 2010 10:30:53 +0200 haftmann added Scala code setup
Tue, 27 Oct 2009 15:32:20 +0100 haftmann added implode and explode
Wed, 23 Sep 2009 14:00:12 +0200 haftmann Code_Eval(uation)
Wed, 06 May 2009 19:09:14 +0200 haftmann confine term setup to Eval serialiser
Wed, 06 May 2009 16:01:05 +0200 haftmann confine term setup to Eval serialiser
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Fri, 20 Feb 2009 10:14:31 +0100 haftmann dropped Id
Thu, 25 Sep 2008 09:28:03 +0200 haftmann discontinued special treatment of op = vs. eq_class.eq
Tue, 16 Sep 2008 16:13:09 +0200 haftmann a sophisticated char/nibble conversion combinator
Tue, 16 Sep 2008 09:21:24 +0200 haftmann evaluation using code generator
Tue, 02 Sep 2008 20:38:17 +0200 haftmann distributed literal code generation out of central infrastructure
Mon, 01 Sep 2008 10:18:37 +0200 haftmann restructured code generation of literals
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
Fri, 25 Jan 2008 14:54:41 +0100 haftmann improved code theorem setup
Fri, 12 Oct 2007 10:26:18 +0200 haftmann added
less more (0) tip