| Wed, 01 Jun 2016 15:10:27 +0200 |
wenzelm |
prefer rat numberals;
|
changeset |
files
|
| Wed, 01 Jun 2016 15:01:43 +0200 |
wenzelm |
support rat numerals via special antiquotation syntax;
|
changeset |
files
|
| Wed, 01 Jun 2016 10:59:57 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 01 Jun 2016 10:55:10 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 01 Jun 2016 10:45:35 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 31 May 2016 23:06:03 +0200 |
wenzelm |
maintain invariant for exported operation;
|
changeset |
files
|
| Tue, 31 May 2016 22:39:28 +0200 |
wenzelm |
prefer more efficient Poly/ML operations, taking care of sign;
|
changeset |
files
|
| Tue, 31 May 2016 21:54:10 +0200 |
wenzelm |
ad-hoc overloading for standard operations on type Rat.rat;
|
changeset |
files
|
| Tue, 31 May 2016 19:51:01 +0200 |
wenzelm |
rat.ML is now part of Pure to allow tigther integration with Isabelle/ML;
|
changeset |
files
|
| Wed, 01 Jun 2016 15:43:15 +0200 |
eberlm |
Merged
|
changeset |
files
|
| Wed, 01 Jun 2016 13:48:34 +0200 |
eberlm |
Tuned code equations for mappings and PMFs
|
changeset |
files
|
| Tue, 31 May 2016 13:02:44 +0200 |
eberlm |
Added code generation for PMFs
|
changeset |
files
|
| Tue, 31 May 2016 21:06:46 +0200 |
traytel |
merged
|
changeset |
files
|
| Tue, 31 May 2016 14:56:51 +0200 |
traytel |
moved lemma from afp
|
changeset |
files
|