src/HOL/Library/Code_Char.thy
Mon, 23 Jul 2012 09:28:03 +0200 haftmann restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
Mon, 02 May 2011 10:50:07 +0200 bulwahn adding code generation setup for String.implode and String.explode in OCaml (contributed by Andreas Lochbihler)
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn deactivating other compilations in quickcheck_exhaustive momentarily that only interesting for my benchmarks and experiments
Tue, 05 Apr 2011 09:38:28 +0200 bulwahn removing bounded_forall code equation for characters when loading Code_Char
Fri, 10 Sep 2010 10:21:25 +0200 haftmann Haskell == is infix, not infixl
Thu, 09 Sep 2010 14:38:14 +0200 bulwahn changing String.literal to a type instead of a datatype
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