changeset 60358 | 8377b6c37640 |
parent 60324 | 5c7128feb370 |
child 60458 | af7735fd252f |
60357:600952fb4724 | 60358:8377b6c37640 |
---|---|
24 \<close> |
24 \<close> |
25 |
25 |
26 ML \<open> |
26 ML \<open> |
27 val version_isac = "isac version 120504 15:33"; |
27 val version_isac = "isac version 120504 15:33"; |
28 \<close> ML \<open> |
28 \<close> ML \<open> |
29 TermC.numerals_to_Free |
|
30 \<close> ML \<open> |
29 \<close> ML \<open> |
31 \<close> |
30 \<close> |
32 end |
31 end |