diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-17 12:59:52 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-17 12:59:52 -0400 |
commit | 31b2c3d5e8740967ead001b40ca25f3ca3628da7 (patch) | |
tree | f53372fb289df90aba3485f6471596c6d861ec81 /src/sources | |
parent | d4639a7ab7971b2eea4951ec26062471bfec88d9 (diff) |
MonoReduce
Diffstat (limited to 'src/sources')
-rw-r--r-- | src/sources | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/sources b/src/sources index 9e2d8089..96559959 100644 --- a/src/sources +++ b/src/sources @@ -78,9 +78,6 @@ shake.sml tag.sig tag.sml -untangle.sig -untangle.sml - mono.sml mono_util.sig @@ -98,6 +95,12 @@ monoize.sml mono_opt.sig mono_opt.sml +untangle.sig +untangle.sml + +mono_reduce.sig +mono_reduce.sml + cjr.sml cjr_env.sig |