Commit 8e66f37

committed

finished switching the types, pilied file a bit

1 parent 14b6cbf commit 8e66f37Copy full SHA for 8e66f37

1 file changed

+9

-366

lines changed

hol
- table_var_to_arithScript.sml

1 file changed

+9

-366

lines changed

Comments

(0)