| Wed, 10 Aug 2022 18:26:22 +0000 |
haftmann |
Further streamlining of quick-and-dirty evaluation.
|
file |
diff |
annotate
|
| Mon, 25 Jul 2022 08:24:21 +0100 |
Achim D. Brucker |
more correct approximation (contributed by Achim Brucker)
|
file |
diff |
annotate
|
| Thu, 18 Jul 2019 12:06:42 +0200 |
nipkow |
added forgotten declaration provided by Florian Haftmann
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 15:16:45 +0000 |
haftmann |
migrated from Nums to Zarith as library for OCaml integer arithmetic
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 14:30:09 +0200 |
nipkow |
Prefix form of infix with * on either side no longer needs special treatment
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 13:07:47 +0200 |
haftmann |
avoid ancient [code, code del] antipattern
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 13:07:45 +0200 |
haftmann |
obsolete
|
file |
diff |
annotate
|
| Fri, 24 Jun 2016 18:36:14 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 09:21:15 +0200 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
| Fri, 04 Sep 2015 19:22:13 +0200 |
wenzelm |
modernized name space management -- more uniform qualification;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sat, 11 Apr 2015 11:56:40 +0100 |
paulson |
Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 10:05:53 +0100 |
haftmann |
eliminiated neg_numeral in favour of - (numeral _)
|
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
|