src/HOL/ex/NormalForm.thy
Fri, 17 Apr 2009 14:29:55 +0200 haftmann tuned
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
Wed, 29 Oct 2008 15:32:58 +0100 haftmann adapted to strict pattern discipline
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Tue, 30 Sep 2008 12:49:17 +0200 haftmann tuned
Thu, 25 Sep 2008 10:17:22 +0200 haftmann non left-linear equations for nbe
Thu, 25 Sep 2008 09:28:08 +0200 haftmann non left-linear equations for nbe
Tue, 23 Sep 2008 18:11:44 +0200 haftmann case default fallback for NBE
Fri, 05 Sep 2008 06:50:22 +0200 haftmann different bookkeeping for code equations
Tue, 22 Apr 2008 22:00:25 +0200 haftmann different handling of eq class for nbe
Fri, 04 Apr 2008 13:40:21 +0200 haftmann postprocessing of equality
Wed, 02 Apr 2008 15:58:32 +0200 haftmann explicit class "eq" for operational equality
Mon, 21 Jan 2008 08:43:34 +0100 haftmann more lemmas
Tue, 08 Jan 2008 11:37:37 +0100 haftmann normalization conversion
Thu, 25 Oct 2007 13:52:01 +0200 haftmann more computation with rationals
Wed, 24 Oct 2007 07:19:54 +0200 haftmann example with rational numbers
Fri, 19 Oct 2007 16:18:00 +0200 haftmann added examples
Fri, 15 Jun 2007 09:09:06 +0200 nipkow Church numerals added
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Fri, 02 Mar 2007 15:43:25 +0100 haftmann tuned code theorems for ord on integers
Thu, 04 Jan 2007 14:01:37 +0100 haftmann more term examples
Wed, 22 Nov 2006 10:20:20 +0100 haftmann example tuned
Mon, 06 Nov 2006 16:28:37 +0100 haftmann (adjustions)
Fri, 03 Nov 2006 14:22:42 +0100 haftmann some example tweaking
Tue, 31 Oct 2006 09:29:08 +0100 haftmann *** empty log message ***
Fri, 20 Oct 2006 10:44:36 +0200 haftmann added if_delayed
Mon, 16 Oct 2006 14:07:31 +0200 haftmann moved HOL code generator setup to Code_Generator
Mon, 09 Oct 2006 12:51:31 +0200 nipkow added nbe_post for delayed_if
Mon, 09 Oct 2006 12:20:39 +0200 nipkow added delayed_if
Mon, 02 Oct 2006 23:01:03 +0200 haftmann cleaned and extended
Sun, 01 Oct 2006 18:29:23 +0200 wenzelm tuned;
Tue, 19 Sep 2006 15:21:58 +0200 haftmann improved numeral handling for nbe
Wed, 13 Sep 2006 12:05:50 +0200 krauss Major update to function package, including new syntax and the (only theoretical)
Tue, 08 Aug 2006 08:19:18 +0200 haftmann adding code lemma now works as expected
Tue, 25 Jul 2006 16:43:47 +0200 haftmann improvements for lazy code generation
Fri, 30 Jun 2006 18:26:36 +0200 nipkow normal_form to lemma test
Fri, 09 Jun 2006 12:17:37 +0200 nipkow renamed file
less more (0) tip