Commit ce0c7c4

committed

added proof from arith list to interval list

1 parent 9077ca4 commit ce0c7c4Copy full SHA for ce0c7c4

1 file changed

+565

-807

lines changed

hol
- table_arith_to_intervalScript.sml

1 file changed

+565

-807

lines changed

Comments

(0)