Mercurial > urweb
diff src/elab_ops.sml @ 276:ed4af33681d8
Switch base types to 64-bit versions
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 14:59:27 -0400 |
parents | 1487c712eb12 |
children | 950320f33232 |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 14:59:27 -0400 |
parents | 1487c712eb12 |
children | 950320f33232 |