| Thu, 01 Jun 2017 16:55:32 +0200 |
lammich |
Fixed to also work with non-IntInf default int type
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2016 14:44:52 +0100 |
wenzelm |
more symbols;
|
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, 02 Oct 2014 11:33:04 +0200 |
haftmann |
tuned Heap_Monad.successE
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 21:16:07 +0200 |
haftmann |
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 08:31:31 +0100 |
haftmann |
two target language numeral types: integer and natural, as replacement for code_numeral;
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 07:10:51 +0200 |
haftmann |
prefer sys.error over plain error in Scala to avoid deprecation warning
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 09:37:39 +0100 |
haftmann |
renamed slightly ambivalent crel to effect
|
file |
diff |
annotate
|
| Thu, 04 Nov 2010 17:27:37 +0100 |
haftmann |
added lemma length_alloc
|
file |
diff |
annotate
|
| Mon, 27 Sep 2010 11:12:01 +0200 |
haftmann |
treat equality on refs and arrays as primitive operation
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 11:13:15 +0200 |
nipkow |
renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 10:05:19 +0200 |
nipkow |
expand_fun_eq -> ext_iff
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 11:09:50 +0200 |
haftmann |
do not print object frame around Scala includes -- this is in the responsibility of the user
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 10:16:22 +0200 |
haftmann |
code_include Scala: qualify module nmae
|
file |
diff |
annotate
|
| Mon, 26 Jul 2010 11:09:44 +0200 |
haftmann |
use Natural as index type for Haskell and Scala
|
file |
diff |
annotate
|
| Fri, 16 Jul 2010 15:28:22 +0200 |
haftmann |
first roughly working version of Imperative HOL for Scala
|
file |
diff |
annotate
|
| Fri, 16 Jul 2010 13:58:29 +0200 |
haftmann |
a first sketch for Imperative HOL witht Scala
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 17:15:58 +0200 |
haftmann |
repaired some implementations of imperative operations
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 16:45:29 +0200 |
haftmann |
repaired of_list implementation for SML, OCaml
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:30:13 +0200 |
haftmann |
consolidated names of theorems
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:21:49 +0200 |
haftmann |
qualified names for (really) all array operations
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:12:40 +0200 |
haftmann |
canonical argument order for get
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:00:56 +0200 |
haftmann |
qualified names for (almost) all array operations
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 15:37:31 +0200 |
haftmann |
canonical argument order for present
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 15:34:02 +0200 |
haftmann |
canonical argument order for length
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 12:16:24 +0200 |
haftmann |
proper merge of operation changes and generic do-syntax
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 12:05:20 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 12:01:34 +0200 |
haftmann |
hide_const; update replaces change
|
file |
diff |
annotate
|