| Sat, 02 Jul 2011 22:14:47 +0200 |
haftmann |
tuned typo
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 16:34:49 +0200 |
wenzelm |
discontinued Name.variant to emphasize that this is old-style / indirect;
|
file |
diff |
annotate
|
| Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
map_pair replaces prod_fun
|
file |
diff |
annotate
|
| Wed, 29 Sep 2010 10:05:44 +0200 |
haftmann |
scala is reserved identifier
|
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
|
| Fri, 10 Sep 2010 10:21:25 +0200 |
haftmann |
Haskell == is infix, not infixl
|
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
|
| Fri, 27 Aug 2010 19:34:23 +0200 |
haftmann |
renamed class/constant eq to equal; tuned some instantiations
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 12:19:50 +0200 |
haftmann |
tuned includes
|
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:10:36 +0200 |
haftmann |
corrected range check once more
|
file |
diff |
annotate
|
| Sat, 24 Jul 2010 18:08:41 +0200 |
haftmann |
another refinement chapter in the neverending numeral story
|
file |
diff |
annotate
|
| Fri, 23 Jul 2010 10:58:13 +0200 |
haftmann |
avoid unreliable Haskell Int type
|
file |
diff |
annotate
|
| Tue, 20 Jul 2010 08:54:21 +0200 |
haftmann |
avoid deprecation
|
file |
diff |
annotate
|
| Mon, 19 Jul 2010 11:55:42 +0200 |
haftmann |
dropped superfluous prefixes
|
file |
diff |
annotate
|
| Fri, 16 Jul 2010 15:28:23 +0200 |
haftmann |
corrected range chec
|
file |
diff |
annotate
|
| Tue, 08 Jun 2010 16:37:22 +0200 |
haftmann |
tuned quotes, antiquotations and whitespace
|
file |
diff |
annotate
|
| Tue, 01 Jun 2010 10:30:53 +0200 |
haftmann |
corrected implementation
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:50:34 +0200 |
haftmann |
nats in Haskell are readable
|
file |
diff |
annotate
|
| Fri, 30 Apr 2010 23:53:37 +0200 |
wenzelm |
renamed Variable.thm_context to Variable.global_thm_context to emphasize that this is not the real thing;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 21:28:09 +0200 |
wenzelm |
replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
|
file |
diff |
annotate
|
| Wed, 10 Mar 2010 15:29:22 +0100 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
| Sun, 07 Mar 2010 12:19:47 +0100 |
wenzelm |
modernized structure Object_Logic;
|
file |
diff |
annotate
|
| Fri, 22 Jan 2010 13:38:28 +0100 |
haftmann |
code literals: distinguish numeral classes by different entries
|
file |
diff |
annotate
|
| Thu, 14 Jan 2010 17:54:54 +0100 |
haftmann |
dedicated conversions to and from Int
|
file |
diff |
annotate
|
| Thu, 14 Jan 2010 17:47:39 +0100 |
haftmann |
added Scala setup
|
file |
diff |
annotate
|
| Wed, 13 Jan 2010 10:18:45 +0100 |
haftmann |
function transformer preprocessor applies to both code generators
|
file |
diff |
annotate
|
| Fri, 30 Oct 2009 18:32:40 +0100 |
haftmann |
tuned code setup
|
file |
diff |
annotate
|
| Thu, 29 Oct 2009 22:16:40 +0100 |
haftmann |
adjusted to changes in theory Divides
|
file |
diff |
annotate
|