../ example.sml 02-Feb-2020 00:00 3006 example.sml.output 02-Feb-2020 00:00 48179 intsyn.fun 02-Feb-2020 00:00 22343 intsyn.fun.output 02-Feb-2020 00:00 422578 intsyn.sig 02-Feb-2020 00:00 11520 intsyn.sig.output 02-Feb-2020 00:00 200938