| Tue, 06 Oct 2015 17:47:28 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:37 +0200 |
haftmann |
hardcoded nbe and sml into value command
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 08:37:15 +0200 |
bulwahn |
removing invocations of the evaluation method based on the old code generator
|
file |
diff |
annotate
|
| Wed, 03 Aug 2011 14:24:23 +0200 |
bulwahn |
removing value invocations with the SML code generator
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 19:41:27 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 23:49:49 +0100 |
haftmann |
tuned example
|
file |
diff |
annotate
|
| Tue, 14 Jul 2009 16:27:30 +0200 |
haftmann |
more canonical import
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 18:29:09 +0100 |
haftmann |
stripped Id
|
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
|
| Tue, 16 Sep 2008 09:21:22 +0200 |
haftmann |
generic value command
|
file |
diff |
annotate
|
| Thu, 31 Jan 2008 11:44:43 +0100 |
haftmann |
proper term_of functions
|
file |
diff |
annotate
|
| Fri, 19 Oct 2007 16:17:59 +0200 |
haftmann |
lemmas with normalization
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:28 +0200 |
haftmann |
simplified evaluation
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:49 +0200 |
haftmann |
clarified relationship of code generator conversions and evaluations
|
file |
diff |
annotate
|
| Thu, 20 Sep 2007 16:37:31 +0200 |
haftmann |
more permissive
|
file |
diff |
annotate
|
| Sat, 15 Sep 2007 19:27:42 +0200 |
haftmann |
multi-functional value keyword
|
file |
diff |
annotate
|
| Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
| Thu, 16 Aug 2007 11:45:05 +0200 |
haftmann |
added evaluation examples
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 08:57:39 +0200 |
haftmann |
updated code generator setup
|
file |
diff |
annotate
|
| Tue, 05 Jun 2007 22:46:55 +0200 |
wenzelm |
renamed ex/Eval_Examples.thy;
|
file |
diff |
annotate
|