| Sat, 17 Dec 2016 15:22:14 +0100 |
haftmann |
more fine-grained type class hierarchy for div and mod
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:13 +0100 |
haftmann |
restructured matter on polynomials and normalized fractions
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:13 +0100 |
haftmann |
streamlined computation rules for primality of numerals: no need to go via explicit conversion to nat
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:13 +0100 |
haftmann |
tuned fact references
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:13 +0100 |
haftmann |
clarified library contents
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:13 +0100 |
haftmann |
standardized notation
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:00 +0100 |
haftmann |
redundant
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:00 +0100 |
haftmann |
renewed and spread FIXME tags on watering bin interpretation, which got partially lost in 9f089287687b
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:00 +0100 |
haftmann |
added lemmas demanded by FIXMEs
|
changeset |
files
|
| Sat, 17 Dec 2016 15:22:00 +0100 |
haftmann |
dropped comment after conversation with author: predicate compiler works independently from any code generator setup
|
changeset |
files
|
| Sat, 17 Dec 2016 14:47:41 +0100 |
wenzelm |
unconditional Code_Test_PolyML and Code_Test_Scala: compiler is always present;
|
changeset |
files
|
| Sat, 17 Dec 2016 14:13:15 +0100 |
wenzelm |
tuned signature -- suppress pointless exports;
|
changeset |
files
|
| Sat, 17 Dec 2016 14:09:39 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 17 Dec 2016 14:04:05 +0100 |
wenzelm |
more standard pretty printing;
|
changeset |
files
|