| Wed, 09 Sep 2009 12:24:22 +0200 | haftmann | dropped accidental code additions | file | diff | annotate |
| Wed, 09 Sep 2009 11:31:20 +0200 | haftmann | moved eq handling in nbe into separate oracle | file | diff | annotate |
| Thu, 07 May 2009 16:22:34 +0200 | haftmann | no need for explicit delete declaration | file | diff | annotate |
| Fri, 17 Apr 2009 14:29:55 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate |
| Wed, 29 Oct 2008 15:32:58 +0100 | haftmann | adapted to strict pattern discipline | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Tue, 30 Sep 2008 12:49:17 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 25 Sep 2008 10:17:22 +0200 | haftmann | non left-linear equations for nbe | file | diff | annotate |
| Thu, 25 Sep 2008 09:28:08 +0200 | haftmann | non left-linear equations for nbe | file | diff | annotate |
| Tue, 23 Sep 2008 18:11:44 +0200 | haftmann | case default fallback for NBE | file | diff | annotate |
| Fri, 05 Sep 2008 06:50:22 +0200 | haftmann | different bookkeeping for code equations | file | diff | annotate |
| Tue, 22 Apr 2008 22:00:25 +0200 | haftmann | different handling of eq class for nbe | file | diff | annotate |
| Fri, 04 Apr 2008 13:40:21 +0200 | haftmann | postprocessing of equality | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:34 +0100 | haftmann | more lemmas | file | diff | annotate |
| Tue, 08 Jan 2008 11:37:37 +0100 | haftmann | normalization conversion | file | diff | annotate |
| Thu, 25 Oct 2007 13:52:01 +0200 | haftmann | more computation with rationals | file | diff | annotate |
| Wed, 24 Oct 2007 07:19:54 +0200 | haftmann | example with rational numbers | file | diff | annotate |
| Fri, 19 Oct 2007 16:18:00 +0200 | haftmann | added examples | file | diff | annotate |
| Fri, 15 Jun 2007 09:09:06 +0200 | nipkow | Church numerals added | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Fri, 02 Mar 2007 15:43:25 +0100 | haftmann | tuned code theorems for ord on integers | file | diff | annotate |
| Thu, 04 Jan 2007 14:01:37 +0100 | haftmann | more term examples | file | diff | annotate |
| Wed, 22 Nov 2006 10:20:20 +0100 | haftmann | example tuned | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:37 +0100 | haftmann | (adjustions) | file | diff | annotate |
| Fri, 03 Nov 2006 14:22:42 +0100 | haftmann | some example tweaking | file | diff | annotate |
| Tue, 31 Oct 2006 09:29:08 +0100 | haftmann | *** empty log message *** | file | diff | annotate |
| Fri, 20 Oct 2006 10:44:36 +0200 | haftmann | added if_delayed | file | diff | annotate |
| Mon, 16 Oct 2006 14:07:31 +0200 | haftmann | moved HOL code generator setup to Code_Generator | file | diff | annotate |