Fix some money bugs and add equalizeBalances
authorAdam Chlipala <adamc@hcoop.net>
Tue, 17 May 2005 19:24:55 +0000 (19:24 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 17 May 2005 19:24:55 +0000 (19:24 +0000)
commit2d795343a1fb171dda9c376322e60260cfcb0fa1
tree306e45cdf3b4c314f8a2e32af4ae544f72dc7b0c
parent9bda1e7f56f54ad5f5fa2782a8b746c4b77ae70b
Fix some money bugs and add equalizeBalances
money.mlt
money.sig
money.sml