diff options
author | boehmes <unknown> | 2012-09-27 17:13:43 +0200 |
---|---|---|
committer | boehmes <unknown> | 2012-09-27 17:13:43 +0200 |
commit | dfb77ee06c82cf8b9c465f3a2acbc5ceb035c6e5 (patch) | |
tree | b9396dc6b4092a75c5a31c610fba53e70f91f516 /Test/dafny1/TerminationDemos.dfy | |
parent | 623a87c132abec61b5c74a6a00a7b162073a6a8d (diff) |
Added BigDec as representation for (floating-point) decimal values
Diffstat (limited to 'Test/dafny1/TerminationDemos.dfy')
0 files changed, 0 insertions, 0 deletions