Commit 17fb860

committed

small edits

1 parent d6766ec commit 17fb860Copy full SHA for 17fb860

1 file changed

+174

-145

lines changed

hol
- table_var_to_arithScript.sml

1 file changed

+174

-145

lines changed

Comments

(0)