diff options
author | Jason Gross <jgross@mit.edu> | 2018-01-16 12:18:36 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-02-20 19:13:02 -0500 |
commit | 63da69cff704be2da61f3cd311fa7a67dca6fc51 (patch) | |
tree | c8b7289e83175cae270c57cf56f581f53ee9f77c /theories | |
parent | 2fb9e915a8095701c3758cba0d6238b4db8212fa (diff) |
Add CHANGES entry for decimals in prelude
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions