moving to single project

ilya-klyuchnikov · Aug 2, 2010 · 89a9a1f · 89a9a1f
1 parent 3bd2543
commit 89a9a1f
Show file tree

Hide file tree

Showing 403 changed files with 0 additions and 20 deletions.
diff --git a/hosc/.classpath → .classpath b/hosc/.classpath → .classpath
diff --git a/.hgignore b/.hgignore
diff --git a/.hgtags b/.hgtags
diff --git a/hosc/.project → .project b/hosc/.project → .project
diff --git a/hosc/.settings/org.maven.ide.eclipse.prefs → .settings/org.maven.ide.eclipse.prefs b/hosc/.settings/org.maven.ide.eclipse.prefs → .settings/org.maven.ide.eclipse.prefs
diff --git a/hosc/examples/debug/a.hs → examples/debug/a.hs b/hosc/examples/debug/a.hs → examples/debug/a.hs
diff --git a/hosc/examples/debug/a.svg → examples/debug/a.svg b/hosc/examples/debug/a.svg → examples/debug/a.svg
diff --git a/hosc/examples/debug/add_machine.hs → examples/debug/add_machine.hs b/hosc/examples/debug/add_machine.hs → examples/debug/add_machine.hs
diff --git a/hosc/examples/debug/am.out.hs → examples/debug/am.out.hs b/hosc/examples/debug/am.out.hs → examples/debug/am.out.hs
diff --git a/hosc/examples/debug/am.svg → examples/debug/am.svg b/hosc/examples/debug/am.svg → examples/debug/am.svg
diff --git a/hosc/examples/debug/d1.hs → examples/debug/d1.hs b/hosc/examples/debug/d1.hs → examples/debug/d1.hs
diff --git a/hosc/examples/debug/d1.out.hs → examples/debug/d1.out.hs b/hosc/examples/debug/d1.out.hs → examples/debug/d1.out.hs
diff --git a/hosc/examples/debug/d1.svg → examples/debug/d1.svg b/hosc/examples/debug/d1.svg → examples/debug/d1.svg
diff --git a/hosc/examples/debug/d7.hs → examples/debug/d7.hs b/hosc/examples/debug/d7.hs → examples/debug/d7.hs
diff --git a/hosc/examples/debug/in.hs → examples/debug/in.hs b/hosc/examples/debug/in.hs → examples/debug/in.hs
diff --git a/hosc/examples/debug/in1.hs → examples/debug/in1.hs b/hosc/examples/debug/in1.hs → examples/debug/in1.hs
diff --git a/hosc/examples/debug/in2.hs → examples/debug/in2.hs b/hosc/examples/debug/in2.hs → examples/debug/in2.hs
diff --git a/hosc/examples/debug/krivine1.hs → examples/debug/krivine1.hs b/hosc/examples/debug/krivine1.hs → examples/debug/krivine1.hs
diff --git a/hosc/examples/debug/krivine1.out.hs → examples/debug/krivine1.out.hs b/hosc/examples/debug/krivine1.out.hs → examples/debug/krivine1.out.hs
diff --git a/hosc/examples/debug/krivine1.svg → examples/debug/krivine1.svg b/hosc/examples/debug/krivine1.svg → examples/debug/krivine1.svg
diff --git a/hosc/examples/debug/lemmas.hs → examples/debug/lemmas.hs b/hosc/examples/debug/lemmas.hs → examples/debug/lemmas.hs
diff --git a/hosc/examples/debug/m1.hs → examples/debug/m1.hs b/hosc/examples/debug/m1.hs → examples/debug/m1.hs
diff --git a/hosc/examples/debug/m1.out.hs → examples/debug/m1.out.hs b/hosc/examples/debug/m1.out.hs → examples/debug/m1.out.hs
diff --git a/hosc/examples/debug/m1.svg → examples/debug/m1.svg b/hosc/examples/debug/m1.svg → examples/debug/m1.svg
diff --git a/hosc/examples/debug/m2.hs → examples/debug/m2.hs b/hosc/examples/debug/m2.hs → examples/debug/m2.hs
diff --git a/hosc/examples/debug/m2.out.hs → examples/debug/m2.out.hs b/hosc/examples/debug/m2.out.hs → examples/debug/m2.out.hs
diff --git a/hosc/examples/debug/m2.svg → examples/debug/m2.svg b/hosc/examples/debug/m2.svg → examples/debug/m2.svg
diff --git a/hosc/examples/debug/out.hs → examples/debug/out.hs b/hosc/examples/debug/out.hs → examples/debug/out.hs
diff --git a/hosc/examples/debug/out.svg → examples/debug/out.svg b/hosc/examples/debug/out.svg → examples/debug/out.svg
diff --git a/hosc/examples/debug/out1.hs → examples/debug/out1.hs b/hosc/examples/debug/out1.hs → examples/debug/out1.hs
diff --git a/hosc/examples/debug/out1.svg → examples/debug/out1.svg b/hosc/examples/debug/out1.svg → examples/debug/out1.svg
diff --git a/hosc/examples/debug/tree.in.hs → examples/debug/tree.in.hs b/hosc/examples/debug/tree.in.hs → examples/debug/tree.in.hs
diff --git a/hosc/examples/debug/tree.out.hs → examples/debug/tree.out.hs b/hosc/examples/debug/tree.out.hs → examples/debug/tree.out.hs
diff --git a/hosc/examples/debug/tree.svg → examples/debug/tree.svg b/hosc/examples/debug/tree.svg → examples/debug/tree.svg
diff --git a/hosc/examples/distill → examples/distill b/hosc/examples/distill → examples/distill
diff --git a/hosc/examples/eq/abs1.hs → examples/eq/abs1.hs b/hosc/examples/eq/abs1.hs → examples/eq/abs1.hs
diff --git a/hosc/examples/eq/abs2.hs → examples/eq/abs2.hs b/hosc/examples/eq/abs2.hs → examples/eq/abs2.hs
diff --git a/hosc/examples/eq/add1.hs → examples/eq/add1.hs b/hosc/examples/eq/add1.hs → examples/eq/add1.hs
diff --git a/hosc/examples/eq/add2.hs → examples/eq/add2.hs b/hosc/examples/eq/add2.hs → examples/eq/add2.hs
diff --git a/hosc/examples/eq/app1.hs → examples/eq/app1.hs b/hosc/examples/eq/app1.hs → examples/eq/app1.hs
diff --git a/hosc/examples/eq/app2.hs → examples/eq/app2.hs b/hosc/examples/eq/app2.hs → examples/eq/app2.hs
diff --git a/hosc/examples/eq/churchAdd1.hs → examples/eq/churchAdd1.hs b/hosc/examples/eq/churchAdd1.hs → examples/eq/churchAdd1.hs
diff --git a/hosc/examples/eq/churchAdd2.hs → examples/eq/churchAdd2.hs b/hosc/examples/eq/churchAdd2.hs → examples/eq/churchAdd2.hs
diff --git a/hosc/examples/eq/churchMult1.hs → examples/eq/churchMult1.hs b/hosc/examples/eq/churchMult1.hs → examples/eq/churchMult1.hs
diff --git a/hosc/examples/eq/churchMult2.hs → examples/eq/churchMult2.hs b/hosc/examples/eq/churchMult2.hs → examples/eq/churchMult2.hs
diff --git a/hosc/examples/eq/churchPred1.hs → examples/eq/churchPred1.hs b/hosc/examples/eq/churchPred1.hs → examples/eq/churchPred1.hs
diff --git a/hosc/examples/eq/churchPred2.hs → examples/eq/churchPred2.hs b/hosc/examples/eq/churchPred2.hs → examples/eq/churchPred2.hs
diff --git a/hosc/examples/eq/churchUnchurch1.hs → examples/eq/churchUnchurch1.hs b/hosc/examples/eq/churchUnchurch1.hs → examples/eq/churchUnchurch1.hs
diff --git a/hosc/examples/eq/churchUnchurch2.hs → examples/eq/churchUnchurch2.hs b/hosc/examples/eq/churchUnchurch2.hs → examples/eq/churchUnchurch2.hs
diff --git a/hosc/examples/eq/comp1.hs → examples/eq/comp1.hs b/hosc/examples/eq/comp1.hs → examples/eq/comp1.hs
diff --git a/hosc/examples/eq/comp2.hs → examples/eq/comp2.hs b/hosc/examples/eq/comp2.hs → examples/eq/comp2.hs
diff --git a/hosc/examples/eq/filter1.hs → examples/eq/filter1.hs b/hosc/examples/eq/filter1.hs → examples/eq/filter1.hs
diff --git a/hosc/examples/eq/filter2.hs → examples/eq/filter2.hs b/hosc/examples/eq/filter2.hs → examples/eq/filter2.hs
diff --git a/hosc/examples/eq/iter1.hs → examples/eq/iter1.hs b/hosc/examples/eq/iter1.hs → examples/eq/iter1.hs
diff --git a/hosc/examples/eq/iter2.hs → examples/eq/iter2.hs b/hosc/examples/eq/iter2.hs → examples/eq/iter2.hs
diff --git a/hosc/examples/eq/join1.hs → examples/eq/join1.hs b/hosc/examples/eq/join1.hs → examples/eq/join1.hs
diff --git a/hosc/examples/eq/join2.hs → examples/eq/join2.hs b/hosc/examples/eq/join2.hs → examples/eq/join2.hs
diff --git a/hosc/examples/eq/lemma1.hs → examples/eq/lemma1.hs b/hosc/examples/eq/lemma1.hs → examples/eq/lemma1.hs
diff --git a/hosc/examples/eq/lemma2.hs → examples/eq/lemma2.hs b/hosc/examples/eq/lemma2.hs → examples/eq/lemma2.hs
diff --git a/hosc/examples/eq/map_app1.hs → examples/eq/map_app1.hs b/hosc/examples/eq/map_app1.hs → examples/eq/map_app1.hs
diff --git a/hosc/examples/eq/map_app2.hs → examples/eq/map_app2.hs b/hosc/examples/eq/map_app2.hs → examples/eq/map_app2.hs
diff --git a/hosc/examples/eq/map_comp1.hs → examples/eq/map_comp1.hs b/hosc/examples/eq/map_comp1.hs → examples/eq/map_comp1.hs
diff --git a/hosc/examples/eq/map_comp2.hs → examples/eq/map_comp2.hs b/hosc/examples/eq/map_comp2.hs → examples/eq/map_comp2.hs
diff --git a/hosc/examples/eq/oddEven1.hs → examples/eq/oddEven1.hs b/hosc/examples/eq/oddEven1.hs → examples/eq/oddEven1.hs
diff --git a/hosc/examples/eq/oddEven2.hs → examples/eq/oddEven2.hs b/hosc/examples/eq/oddEven2.hs → examples/eq/oddEven2.hs
diff --git a/hosc/examples/eq/orEven1.hs → examples/eq/orEven1.hs b/hosc/examples/eq/orEven1.hs → examples/eq/orEven1.hs
diff --git a/hosc/examples/eq/orEven2.hs → examples/eq/orEven2.hs b/hosc/examples/eq/orEven2.hs → examples/eq/orEven2.hs
diff --git a/hosc/examples/eq/orEvenOdd1.hs → examples/eq/orEvenOdd1.hs b/hosc/examples/eq/orEvenOdd1.hs → examples/eq/orEvenOdd1.hs
diff --git a/hosc/examples/eq/orEvenOdd2.hs → examples/eq/orEvenOdd2.hs b/hosc/examples/eq/orEvenOdd2.hs → examples/eq/orEvenOdd2.hs
diff --git a/hosc/examples/eq/pairs1.hs → examples/eq/pairs1.hs b/hosc/examples/eq/pairs1.hs → examples/eq/pairs1.hs
diff --git a/hosc/examples/eq/pairs2.hs → examples/eq/pairs2.hs b/hosc/examples/eq/pairs2.hs → examples/eq/pairs2.hs
diff --git a/hosc/examples/eq/re1.hs → examples/eq/re1.hs b/hosc/examples/eq/re1.hs → examples/eq/re1.hs
diff --git a/hosc/examples/eq/re2.hs → examples/eq/re2.hs b/hosc/examples/eq/re2.hs → examples/eq/re2.hs
diff --git a/hosc/examples/eq/rep1.hs → examples/eq/rep1.hs b/hosc/examples/eq/rep1.hs → examples/eq/rep1.hs
diff --git a/hosc/examples/eq/rep2.hs → examples/eq/rep2.hs b/hosc/examples/eq/rep2.hs → examples/eq/rep2.hs
diff --git a/hosc/examples/exp/1.hs → examples/exp/1.hs b/hosc/examples/exp/1.hs → examples/exp/1.hs
diff --git a/hosc/examples/exp/church.hs → examples/exp/church.hs b/hosc/examples/exp/church.hs → examples/exp/church.hs
diff --git a/hosc/examples/exp/eval1.hs → examples/exp/eval1.hs b/hosc/examples/exp/eval1.hs → examples/exp/eval1.hs
diff --git a/hosc/examples/exp/even_doubleAcc_1.hs → examples/exp/even_doubleAcc_1.hs b/hosc/examples/exp/even_doubleAcc_1.hs → examples/exp/even_doubleAcc_1.hs
diff --git a/hosc/examples/exp/even_doubleAcc_2.hs → examples/exp/even_doubleAcc_2.hs b/hosc/examples/exp/even_doubleAcc_2.hs → examples/exp/even_doubleAcc_2.hs
diff --git a/hosc/examples/exp/fo_dsl_1_a.hs → examples/exp/fo_dsl_1_a.hs b/hosc/examples/exp/fo_dsl_1_a.hs → examples/exp/fo_dsl_1_a.hs
diff --git a/hosc/examples/exp/fo_dsl_1_b.hs → examples/exp/fo_dsl_1_b.hs b/hosc/examples/exp/fo_dsl_1_b.hs → examples/exp/fo_dsl_1_b.hs
diff --git a/hosc/examples/exp/fo_dsl_2_a.hs → examples/exp/fo_dsl_2_a.hs b/hosc/examples/exp/fo_dsl_2_a.hs → examples/exp/fo_dsl_2_a.hs
diff --git a/hosc/examples/exp/fo_dsl_2_b.hs → examples/exp/fo_dsl_2_b.hs b/hosc/examples/exp/fo_dsl_2_b.hs → examples/exp/fo_dsl_2_b.hs
diff --git a/hosc/examples/exp/fo_dsl_3_a.hs → examples/exp/fo_dsl_3_a.hs b/hosc/examples/exp/fo_dsl_3_a.hs → examples/exp/fo_dsl_3_a.hs
diff --git a/hosc/examples/exp/fo_dsl_3_b.hs → examples/exp/fo_dsl_3_b.hs b/hosc/examples/exp/fo_dsl_3_b.hs → examples/exp/fo_dsl_3_b.hs
diff --git a/hosc/examples/exp/ho_dsl.hs → examples/exp/ho_dsl.hs b/hosc/examples/exp/ho_dsl.hs → examples/exp/ho_dsl.hs
diff --git a/hosc/examples/exp/inf_data.hs → examples/exp/inf_data.hs b/hosc/examples/exp/inf_data.hs → examples/exp/inf_data.hs
diff --git a/hosc/examples/exp/inf_data2.hs → examples/exp/inf_data2.hs b/hosc/examples/exp/inf_data2.hs → examples/exp/inf_data2.hs
diff --git a/hosc/examples/exp/inf_eq.hs → examples/exp/inf_eq.hs b/hosc/examples/exp/inf_eq.hs → examples/exp/inf_eq.hs
diff --git a/hosc/examples/exp/join1.hs → examples/exp/join1.hs b/hosc/examples/exp/join1.hs → examples/exp/join1.hs
diff --git a/hosc/examples/exp/or_even_odd_1.hs → examples/exp/or_even_odd_1.hs b/hosc/examples/exp/or_even_odd_1.hs → examples/exp/or_even_odd_1.hs
diff --git a/hosc/examples/exp/or_even_odd_2.hs → examples/exp/or_even_odd_2.hs b/hosc/examples/exp/or_even_odd_2.hs → examples/exp/or_even_odd_2.hs
diff --git a/hosc/examples/exp/out0/.hidden → examples/exp/out0/.hidden b/hosc/examples/exp/out0/.hidden → examples/exp/out0/.hidden
diff --git a/hosc/examples/exp/out1/.hidden → examples/exp/out1/.hidden b/hosc/examples/exp/out1/.hidden → examples/exp/out1/.hidden
diff --git a/hosc/examples/exp/predNat.hs → examples/exp/predNat.hs b/hosc/examples/exp/predNat.hs → examples/exp/predNat.hs
diff --git a/hosc/examples/exp/rev.hs → examples/exp/rev.hs b/hosc/examples/exp/rev.hs → examples/exp/rev.hs
diff --git a/hosc/examples/exp/synapse0.hs → examples/exp/synapse0.hs b/hosc/examples/exp/synapse0.hs → examples/exp/synapse0.hs
diff --git a/hosc/examples/exp/synapse1.hs → examples/exp/synapse1.hs b/hosc/examples/exp/synapse1.hs → examples/exp/synapse1.hs
diff --git a/hosc/examples/explode/explode2.hs → examples/explode/explode2.hs b/hosc/examples/explode/explode2.hs → examples/explode/explode2.hs
diff --git a/hosc/examples/explode/explode2.out.hs → examples/explode/explode2.out.hs b/hosc/examples/explode/explode2.out.hs → examples/explode/explode2.out.hs
diff --git a/hosc/examples/explode/explode3.hs → examples/explode/explode3.hs b/hosc/examples/explode/explode3.hs → examples/explode/explode3.hs
diff --git a/hosc/examples/explode/explode3.out.hs → examples/explode/explode3.out.hs b/hosc/examples/explode/explode3.out.hs → examples/explode/explode3.out.hs
diff --git a/hosc/examples/explode/explode4.hs → examples/explode/explode4.hs b/hosc/examples/explode/explode4.hs → examples/explode/explode4.hs
diff --git a/hosc/examples/explode/explode4.out.hs → examples/explode/explode4.out.hs b/hosc/examples/explode/explode4.out.hs → examples/explode/explode4.out.hs
diff --git a/hosc/examples/hl/add_x_x.hs → examples/hl/add_x_x.hs b/hosc/examples/hl/add_x_x.hs → examples/hl/add_x_x.hs
diff --git a/hosc/examples/hl/and_even_odd.hs → examples/hl/and_even_odd.hs b/hosc/examples/hl/and_even_odd.hs → examples/hl/and_even_odd.hs
diff --git a/hosc/examples/hl/app_rev.hs → examples/hl/app_rev.hs b/hosc/examples/hl/app_rev.hs → examples/hl/app_rev.hs
diff --git a/hosc/examples/hl/church.hs → examples/hl/church.hs b/hosc/examples/hl/church.hs → examples/hl/church.hs
diff --git a/hosc/examples/hl/church1.hs → examples/hl/church1.hs b/hosc/examples/hl/church1.hs → examples/hl/church1.hs
diff --git a/hosc/examples/hl/church3.hs → examples/hl/church3.hs b/hosc/examples/hl/church3.hs → examples/hl/church3.hs
diff --git a/hosc/examples/hl/eq_tree.hs → examples/hl/eq_tree.hs b/hosc/examples/hl/eq_tree.hs → examples/hl/eq_tree.hs
diff --git a/hosc/examples/hl/eq_tree_leaves.hs → examples/hl/eq_tree_leaves.hs b/hosc/examples/hl/eq_tree_leaves.hs → examples/hl/eq_tree_leaves.hs
diff --git a/hosc/examples/hl/eqnum.hs → examples/hl/eqnum.hs b/hosc/examples/hl/eqnum.hs → examples/hl/eqnum.hs
diff --git a/hosc/examples/hl/even_doubleAcc.hs → examples/hl/even_doubleAcc.hs b/hosc/examples/hl/even_doubleAcc.hs → examples/hl/even_doubleAcc.hs
diff --git a/hosc/examples/hl/even_doubleAcc1.hs → examples/hl/even_doubleAcc1.hs b/hosc/examples/hl/even_doubleAcc1.hs → examples/hl/even_doubleAcc1.hs
diff --git a/hosc/examples/hl/even_doubleAcc2.hs → examples/hl/even_doubleAcc2.hs b/hosc/examples/hl/even_doubleAcc2.hs → examples/hl/even_doubleAcc2.hs
diff --git a/hosc/examples/hl/even_doubleAcc3.hs → examples/hl/even_doubleAcc3.hs b/hosc/examples/hl/even_doubleAcc3.hs → examples/hl/even_doubleAcc3.hs
diff --git a/hosc/examples/hl/even_doubleAcc4.hs → examples/hl/even_doubleAcc4.hs b/hosc/examples/hl/even_doubleAcc4.hs → examples/hl/even_doubleAcc4.hs
diff --git a/hosc/examples/hl/even_plus_xx.hs → examples/hl/even_plus_xx.hs b/hosc/examples/hl/even_plus_xx.hs → examples/hl/even_plus_xx.hs
diff --git a/hosc/examples/hl/or_even_odd.hs → examples/hl/or_even_odd.hs b/hosc/examples/hl/or_even_odd.hs → examples/hl/or_even_odd.hs
diff --git a/hosc/examples/hl/out/.hidden → examples/hl/out/.hidden b/hosc/examples/hl/out/.hidden → examples/hl/out/.hidden
diff --git a/hosc/examples/hl/rev.hs → examples/hl/rev.hs b/hosc/examples/hl/rev.hs → examples/hl/rev.hs
diff --git a/hosc/examples/hl/rev1.hs → examples/hl/rev1.hs b/hosc/examples/hl/rev1.hs → examples/hl/rev1.hs
diff --git a/hosc/examples/hl/rev2.hs → examples/hl/rev2.hs b/hosc/examples/hl/rev2.hs → examples/hl/rev2.hs
diff --git a/hosc/examples/hl/rev3.hs → examples/hl/rev3.hs b/hosc/examples/hl/rev3.hs → examples/hl/rev3.hs
diff --git a/hosc/examples/hl/rev_map.hs → examples/hl/rev_map.hs b/hosc/examples/hl/rev_map.hs → examples/hl/rev_map.hs
diff --git a/hosc/examples/hl/tree_flatten.hs → examples/hl/tree_flatten.hs b/hosc/examples/hl/tree_flatten.hs → examples/hl/tree_flatten.hs
diff --git a/hosc/examples/hll/ack.hs → examples/hll/ack.hs b/hosc/examples/hll/ack.hs → examples/hll/ack.hs
diff --git a/hosc/examples/hll/eqnumxx.hs → examples/hll/eqnumxx.hs b/hosc/examples/hll/eqnumxx.hs → examples/hll/eqnumxx.hs
diff --git a/hosc/examples/hll/even_double_acc.hs → examples/hll/even_double_acc.hs b/hosc/examples/hll/even_double_acc.hs → examples/hll/even_double_acc.hs
diff --git a/hosc/examples/hll/fib.hs → examples/hll/fib.hs b/hosc/examples/hll/fib.hs → examples/hll/fib.hs
diff --git a/hosc/examples/hll/filter.hs → examples/hll/filter.hs b/hosc/examples/hll/filter.hs → examples/hll/filter.hs
diff --git a/hosc/examples/hll/fix_con.hs → examples/hll/fix_con.hs b/hosc/examples/hll/fix_con.hs → examples/hll/fix_con.hs
diff --git a/hosc/examples/hll/isort.hs → examples/hll/isort.hs b/hosc/examples/hll/isort.hs → examples/hll/isort.hs
diff --git a/hosc/examples/hll/rev.hs → examples/hll/rev.hs b/hosc/examples/hll/rev.hs → examples/hll/rev.hs
diff --git a/hosc/examples/hll/synapse.hs → examples/hll/synapse.hs b/hosc/examples/hll/synapse.hs → examples/hll/synapse.hs
diff --git a/hosc/examples/interpreter/app.hs → examples/interpreter/app.hs b/hosc/examples/interpreter/app.hs → examples/interpreter/app.hs
diff --git a/hosc/examples/interpreter/church.hs → examples/interpreter/church.hs b/hosc/examples/interpreter/church.hs → examples/interpreter/church.hs
diff --git a/hosc/examples/interpreter/lazy.hs → examples/interpreter/lazy.hs b/hosc/examples/interpreter/lazy.hs → examples/interpreter/lazy.hs
diff --git a/hosc/examples/interpreter/rev.hs → examples/interpreter/rev.hs b/hosc/examples/interpreter/rev.hs → examples/interpreter/rev.hs
diff --git a/hosc/examples/lifting/letrec.hs → examples/lifting/letrec.hs b/hosc/examples/lifting/letrec.hs → examples/lifting/letrec.hs
diff --git a/hosc/examples/lifting/letrec_2app.hs → examples/lifting/letrec_2app.hs b/hosc/examples/lifting/letrec_2app.hs → examples/lifting/letrec_2app.hs
diff --git a/hosc/examples/lifting/letrec_rev.hs → examples/lifting/letrec_rev.hs b/hosc/examples/lifting/letrec_rev.hs → examples/lifting/letrec_rev.hs
diff --git a/hosc/examples/mc/LTL1.hs → examples/mc/LTL1.hs b/hosc/examples/mc/LTL1.hs → examples/mc/LTL1.hs
diff --git a/hosc/examples/mc/LTL2.hs → examples/mc/LTL2.hs b/hosc/examples/mc/LTL2.hs → examples/mc/LTL2.hs
diff --git a/hosc/examples/mc/cps.hs → examples/mc/cps.hs b/hosc/examples/mc/cps.hs → examples/mc/cps.hs
diff --git a/hosc/examples/mc/lemmas.hs → examples/mc/lemmas.hs b/hosc/examples/mc/lemmas.hs → examples/mc/lemmas.hs
diff --git a/hosc/examples/mc/ltl3.hs → examples/mc/ltl3.hs b/hosc/examples/mc/ltl3.hs → examples/mc/ltl3.hs
diff --git a/hosc/examples/mc/ltl4.hs → examples/mc/ltl4.hs b/hosc/examples/mc/ltl4.hs → examples/mc/ltl4.hs
diff --git a/hosc/examples/mc/ltl5.hs → examples/mc/ltl5.hs b/hosc/examples/mc/ltl5.hs → examples/mc/ltl5.hs
diff --git a/hosc/examples/mc/mc1.hs → examples/mc/mc1.hs b/hosc/examples/mc/mc1.hs → examples/mc/mc1.hs
diff --git a/hosc/examples/mc/mc2.hs → examples/mc/mc2.hs b/hosc/examples/mc/mc2.hs → examples/mc/mc2.hs
diff --git a/hosc/examples/mp/empty.hs → examples/mp/empty.hs b/hosc/examples/mp/empty.hs → examples/mp/empty.hs
diff --git a/hosc/examples/mp/mp1a.hs → examples/mp/mp1a.hs b/hosc/examples/mp/mp1a.hs → examples/mp/mp1a.hs
diff --git a/hosc/examples/mp/mp1b.hs → examples/mp/mp1b.hs b/hosc/examples/mp/mp1b.hs → examples/mp/mp1b.hs
diff --git a/hosc/examples/paper/lists.hl0 → examples/paper/lists.hl0 b/hosc/examples/paper/lists.hl0 → examples/paper/lists.hl0
diff --git a/hosc/examples/parser/case.hs → examples/parser/case.hs b/hosc/examples/parser/case.hs → examples/parser/case.hs
diff --git a/hosc/examples/parser/err01.hs → examples/parser/err01.hs b/hosc/examples/parser/err01.hs → examples/parser/err01.hs
diff --git a/hosc/examples/parser/err02.hs → examples/parser/err02.hs b/hosc/examples/parser/err02.hs → examples/parser/err02.hs
diff --git a/hosc/examples/parser/err03.hs → examples/parser/err03.hs b/hosc/examples/parser/err03.hs → examples/parser/err03.hs
diff --git a/hosc/examples/parser/err04.hs → examples/parser/err04.hs b/hosc/examples/parser/err04.hs → examples/parser/err04.hs
diff --git a/hosc/examples/parser/err05.hs → examples/parser/err05.hs b/hosc/examples/parser/err05.hs → examples/parser/err05.hs
diff --git a/hosc/examples/parser/err06.hs → examples/parser/err06.hs b/hosc/examples/parser/err06.hs → examples/parser/err06.hs
diff --git a/hosc/examples/parser/err07.hs → examples/parser/err07.hs b/hosc/examples/parser/err07.hs → examples/parser/err07.hs
diff --git a/hosc/examples/parser/err08.hs → examples/parser/err08.hs b/hosc/examples/parser/err08.hs → examples/parser/err08.hs
diff --git a/hosc/examples/parser/err09.hs → examples/parser/err09.hs b/hosc/examples/parser/err09.hs → examples/parser/err09.hs
diff --git a/hosc/examples/parser/err10.hs → examples/parser/err10.hs b/hosc/examples/parser/err10.hs → examples/parser/err10.hs
diff --git a/hosc/examples/parser/err11.hs → examples/parser/err11.hs b/hosc/examples/parser/err11.hs → examples/parser/err11.hs
diff --git a/hosc/examples/parser/err12.hs → examples/parser/err12.hs b/hosc/examples/parser/err12.hs → examples/parser/err12.hs
diff --git a/hosc/examples/parser/err13.hs → examples/parser/err13.hs b/hosc/examples/parser/err13.hs → examples/parser/err13.hs
diff --git a/hosc/examples/parser/err14.hs → examples/parser/err14.hs b/hosc/examples/parser/err14.hs → examples/parser/err14.hs
diff --git a/hosc/examples/parser/err15.hs → examples/parser/err15.hs b/hosc/examples/parser/err15.hs → examples/parser/err15.hs
diff --git a/hosc/examples/parser/err16.hs → examples/parser/err16.hs b/hosc/examples/parser/err16.hs → examples/parser/err16.hs
diff --git a/hosc/examples/parser/err17.hs → examples/parser/err17.hs b/hosc/examples/parser/err17.hs → examples/parser/err17.hs
diff --git a/hosc/examples/parser/rev.hs → examples/parser/rev.hs b/hosc/examples/parser/rev.hs → examples/parser/rev.hs
diff --git a/hosc/examples/parser/syntax_err.hs → examples/parser/syntax_err.hs b/hosc/examples/parser/syntax_err.hs → examples/parser/syntax_err.hs
diff --git a/hosc/examples/protocols/01_synapse.hs → examples/protocols/01_synapse.hs b/hosc/examples/protocols/01_synapse.hs → examples/protocols/01_synapse.hs
diff --git a/hosc/examples/protocols/02_msi.hs → examples/protocols/02_msi.hs b/hosc/examples/protocols/02_msi.hs → examples/protocols/02_msi.hs
diff --git a/hosc/examples/protocols/03_mosi.hs → examples/protocols/03_mosi.hs b/hosc/examples/protocols/03_mosi.hs → examples/protocols/03_mosi.hs
diff --git a/hosc/examples/protocols/04_mesi.hs → examples/protocols/04_mesi.hs b/hosc/examples/protocols/04_mesi.hs → examples/protocols/04_mesi.hs
diff --git a/hosc/examples/protocols/05_moesi.hs → examples/protocols/05_moesi.hs b/hosc/examples/protocols/05_moesi.hs → examples/protocols/05_moesi.hs
diff --git a/hosc/examples/protocols/06_illinois.hs → examples/protocols/06_illinois.hs b/hosc/examples/protocols/06_illinois.hs → examples/protocols/06_illinois.hs
diff --git a/hosc/examples/protocols/07_berkeley.hs → examples/protocols/07_berkeley.hs b/hosc/examples/protocols/07_berkeley.hs → examples/protocols/07_berkeley.hs
diff --git a/hosc/examples/protocols/08_dec.hs → examples/protocols/08_dec.hs b/hosc/examples/protocols/08_dec.hs → examples/protocols/08_dec.hs
diff --git a/hosc/examples/protocols/09_futurebus.hs → examples/protocols/09_futurebus.hs b/hosc/examples/protocols/09_futurebus.hs → examples/protocols/09_futurebus.hs
diff --git a/hosc/examples/protocols/10_xerox.hs → examples/protocols/10_xerox.hs b/hosc/examples/protocols/10_xerox.hs → examples/protocols/10_xerox.hs
diff --git a/hosc/examples/protocols/11_java.hs → examples/protocols/11_java.hs b/hosc/examples/protocols/11_java.hs → examples/protocols/11_java.hs
diff --git a/hosc/examples/protocols/12_reader_writer.hs → examples/protocols/12_reader_writer.hs b/hosc/examples/protocols/12_reader_writer.hs → examples/protocols/12_reader_writer.hs
diff --git a/hosc/examples/protocols/13_german_i.hs → examples/protocols/13_german_i.hs b/hosc/examples/protocols/13_german_i.hs → examples/protocols/13_german_i.hs
diff --git a/hosc/examples/protocols/14_german_b.hs → examples/protocols/14_german_b.hs b/hosc/examples/protocols/14_german_b.hs → examples/protocols/14_german_b.hs
diff --git a/hosc/examples/protocols/15_data_race.hs → examples/protocols/15_data_race.hs b/hosc/examples/protocols/15_data_race.hs → examples/protocols/15_data_race.hs
diff --git a/hosc/examples/protocols/lemmas.hs → examples/protocols/lemmas.hs b/hosc/examples/protocols/lemmas.hs → examples/protocols/lemmas.hs
diff --git a/hosc/examples/protocols/out/.hidden → examples/protocols/out/.hidden b/hosc/examples/protocols/out/.hidden → examples/protocols/out/.hidden
diff --git a/hosc/examples/re/a.hs → examples/re/a.hs b/hosc/examples/re/a.hs → examples/re/a.hs
diff --git a/hosc/examples/re/arith.hs → examples/re/arith.hs b/hosc/examples/re/arith.hs → examples/re/arith.hs
diff --git a/hosc/examples/re/arith1.hs → examples/re/arith1.hs b/hosc/examples/re/arith1.hs → examples/re/arith1.hs
diff --git a/hosc/examples/re/b.hs → examples/re/b.hs b/hosc/examples/re/b.hs → examples/re/b.hs
diff --git a/hosc/examples/re/der.hs → examples/re/der.hs b/hosc/examples/re/der.hs → examples/re/der.hs
diff --git a/hosc/examples/re/post/compare.hs → examples/re/post/compare.hs b/hosc/examples/re/post/compare.hs → examples/re/post/compare.hs
diff --git a/hosc/examples/re/post/in/p1.hs → examples/re/post/in/p1.hs b/hosc/examples/re/post/in/p1.hs → examples/re/post/in/p1.hs
diff --git a/hosc/examples/re/post/out/p1.hs → examples/re/post/out/p1.hs b/hosc/examples/re/post/out/p1.hs → examples/re/post/out/p1.hs
diff --git a/hosc/examples/re/post/out/p1.svg → examples/re/post/out/p1.svg b/hosc/examples/re/post/out/p1.svg → examples/re/post/out/p1.svg
diff --git a/hosc/examples/re/re.hs → examples/re/re.hs b/hosc/examples/re/re.hs → examples/re/re.hs
diff --git a/hosc/examples/re/re0.hs → examples/re/re0.hs b/hosc/examples/re/re0.hs → examples/re/re0.hs
diff --git a/hosc/examples/re/re1.hs → examples/re/re1.hs b/hosc/examples/re/re1.hs → examples/re/re1.hs
diff --git a/hosc/examples/re/re2.hs → examples/re/re2.hs b/hosc/examples/re/re2.hs → examples/re/re2.hs
diff --git a/hosc/examples/re/re3.hs → examples/re/re3.hs b/hosc/examples/re/re3.hs → examples/re/re3.hs
diff --git a/hosc/examples/re/re4.hs → examples/re/re4.hs b/hosc/examples/re/re4.hs → examples/re/re4.hs
diff --git a/hosc/examples/re/re5.hs → examples/re/re5.hs b/hosc/examples/re/re5.hs → examples/re/re5.hs
diff --git a/hosc/examples/re/re6.hs → examples/re/re6.hs b/hosc/examples/re/re6.hs → examples/re/re6.hs
diff --git a/hosc/examples/re/re7.hs → examples/re/re7.hs b/hosc/examples/re/re7.hs → examples/re/re7.hs
diff --git a/hosc/examples/re/regexp.hs → examples/re/regexp.hs b/hosc/examples/re/regexp.hs → examples/re/regexp.hs
diff --git a/hosc/examples/re/regexp2.hs → examples/re/regexp2.hs b/hosc/examples/re/regexp2.hs → examples/re/regexp2.hs
diff --git a/hosc/examples/re/regexp3.hs → examples/re/regexp3.hs b/hosc/examples/re/regexp3.hs → examples/re/regexp3.hs
diff --git a/hosc/examples/re/russel.hs → examples/re/russel.hs b/hosc/examples/re/russel.hs → examples/re/russel.hs
diff --git a/hosc/examples/sc/01_loop.hs → examples/sc/01_loop.hs b/hosc/examples/sc/01_loop.hs → examples/sc/01_loop.hs
diff --git a/hosc/examples/sc/case.hs → examples/sc/case.hs b/hosc/examples/sc/case.hs → examples/sc/case.hs
diff --git a/hosc/examples/sc/church.hs → examples/sc/church.hs b/hosc/examples/sc/church.hs → examples/sc/church.hs
diff --git a/hosc/examples/sc/dr.hs → examples/sc/dr.hs b/hosc/examples/sc/dr.hs → examples/sc/dr.hs
diff --git a/hosc/examples/sc/drec.hs → examples/sc/drec.hs b/hosc/examples/sc/drec.hs → examples/sc/drec.hs
diff --git a/hosc/examples/sc/encoding.hs → examples/sc/encoding.hs b/hosc/examples/sc/encoding.hs → examples/sc/encoding.hs
diff --git a/hosc/examples/sc/eq.hs → examples/sc/eq.hs b/hosc/examples/sc/eq.hs → examples/sc/eq.hs
diff --git a/hosc/examples/sc/eqnum.hs → examples/sc/eqnum.hs b/hosc/examples/sc/eqnum.hs → examples/sc/eqnum.hs
diff --git a/hosc/examples/sc/eqnum_plus.hs → examples/sc/eqnum_plus.hs b/hosc/examples/sc/eqnum_plus.hs → examples/sc/eqnum_plus.hs
diff --git a/hosc/examples/sc/eqnumxx.hs → examples/sc/eqnumxx.hs b/hosc/examples/sc/eqnumxx.hs → examples/sc/eqnumxx.hs
diff --git a/hosc/examples/sc/even.hs → examples/sc/even.hs b/hosc/examples/sc/even.hs → examples/sc/even.hs
diff --git a/hosc/examples/sc/even1.hs → examples/sc/even1.hs b/hosc/examples/sc/even1.hs → examples/sc/even1.hs
diff --git a/hosc/examples/sc/even2.hs → examples/sc/even2.hs b/hosc/examples/sc/even2.hs → examples/sc/even2.hs
diff --git a/hosc/examples/sc/evenSS.hs → examples/sc/evenSS.hs b/hosc/examples/sc/evenSS.hs → examples/sc/evenSS.hs
diff --git a/hosc/examples/sc/exp.hs → examples/sc/exp.hs b/hosc/examples/sc/exp.hs → examples/sc/exp.hs
diff --git a/hosc/examples/sc/fib.hs → examples/sc/fib.hs b/hosc/examples/sc/fib.hs → examples/sc/fib.hs
diff --git a/hosc/examples/sc/filter.hs → examples/sc/filter.hs b/hosc/examples/sc/filter.hs → examples/sc/filter.hs
diff --git a/hosc/examples/sc/fix.hs → examples/sc/fix.hs b/hosc/examples/sc/fix.hs → examples/sc/fix.hs
diff --git a/hosc/examples/sc/fixDouble.hs → examples/sc/fixDouble.hs b/hosc/examples/sc/fixDouble.hs → examples/sc/fixDouble.hs
diff --git a/hosc/examples/sc/fix_con.hs → examples/sc/fix_con.hs b/hosc/examples/sc/fix_con.hs → examples/sc/fix_con.hs
diff --git a/hosc/examples/sc/isort.hs → examples/sc/isort.hs b/hosc/examples/sc/isort.hs → examples/sc/isort.hs
diff --git a/hosc/examples/sc/iter2.hs → examples/sc/iter2.hs b/hosc/examples/sc/iter2.hs → examples/sc/iter2.hs
diff --git a/hosc/examples/sc/iterate.hs → examples/sc/iterate.hs b/hosc/examples/sc/iterate.hs → examples/sc/iterate.hs
diff --git a/hosc/examples/sc/join1.hs → examples/sc/join1.hs b/hosc/examples/sc/join1.hs → examples/sc/join1.hs
diff --git a/hosc/examples/sc/join2.hs → examples/sc/join2.hs b/hosc/examples/sc/join2.hs → examples/sc/join2.hs
diff --git a/hosc/examples/sc/lemmas.hs → examples/sc/lemmas.hs b/hosc/examples/sc/lemmas.hs → examples/sc/lemmas.hs
diff --git a/hosc/examples/sc/leq_add.hs → examples/sc/leq_add.hs b/hosc/examples/sc/leq_add.hs → examples/sc/leq_add.hs
diff --git a/hosc/examples/sc/letrec.hs → examples/sc/letrec.hs b/hosc/examples/sc/letrec.hs → examples/sc/letrec.hs
diff --git a/hosc/examples/sc/letrec_rev.hs → examples/sc/letrec_rev.hs b/hosc/examples/sc/letrec_rev.hs → examples/sc/letrec_rev.hs
diff --git a/hosc/examples/sc/list_funcs.hs → examples/sc/list_funcs.hs b/hosc/examples/sc/list_funcs.hs → examples/sc/list_funcs.hs
diff --git a/hosc/examples/sc/loop.hs → examples/sc/loop.hs b/hosc/examples/sc/loop.hs → examples/sc/loop.hs
diff --git a/hosc/examples/sc/min.hs → examples/sc/min.hs b/hosc/examples/sc/min.hs → examples/sc/min.hs
diff --git a/hosc/examples/sc/out0/.hidden → examples/sc/out0/.hidden b/hosc/examples/sc/out0/.hidden → examples/sc/out0/.hidden
diff --git a/hosc/examples/sc/out1/.hidden → examples/sc/out1/.hidden b/hosc/examples/sc/out1/.hidden → examples/sc/out1/.hidden
diff --git a/hosc/examples/sc/psi1.hs → examples/sc/psi1.hs b/hosc/examples/sc/psi1.hs → examples/sc/psi1.hs
diff --git a/hosc/examples/sc/regexp.hs → examples/sc/regexp.hs b/hosc/examples/sc/regexp.hs → examples/sc/regexp.hs
diff --git a/hosc/examples/sc/rev.hs → examples/sc/rev.hs b/hosc/examples/sc/rev.hs → examples/sc/rev.hs
diff --git a/hosc/examples/sc/russel_bad.hs → examples/sc/russel_bad.hs b/hosc/examples/sc/russel_bad.hs → examples/sc/russel_bad.hs
diff --git a/hosc/examples/sc/sf.hs → examples/sc/sf.hs b/hosc/examples/sc/sf.hs → examples/sc/sf.hs
diff --git a/hosc/examples/sc/synapse.hs → examples/sc/synapse.hs b/hosc/examples/sc/synapse.hs → examples/sc/synapse.hs
diff --git a/hosc/examples/sc/synapse0.hs → examples/sc/synapse0.hs b/hosc/examples/sc/synapse0.hs → examples/sc/synapse0.hs
diff --git a/hosc/examples/sc/synapse1.hs → examples/sc/synapse1.hs b/hosc/examples/sc/synapse1.hs → examples/sc/synapse1.hs
diff --git a/hosc/examples/sc/synapse2.hs → examples/sc/synapse2.hs b/hosc/examples/sc/synapse2.hs → examples/sc/synapse2.hs
diff --git a/hosc/examples/sc/takenm.hs → examples/sc/takenm.hs b/hosc/examples/sc/takenm.hs → examples/sc/takenm.hs
diff --git a/hosc/examples/sc/tmp.hs → examples/sc/tmp.hs b/hosc/examples/sc/tmp.hs → examples/sc/tmp.hs
diff --git a/hosc/examples/sc/var.hs → examples/sc/var.hs b/hosc/examples/sc/var.hs → examples/sc/var.hs
diff --git a/hosc/examples/sc/zip1.hs → examples/sc/zip1.hs b/hosc/examples/sc/zip1.hs → examples/sc/zip1.hs
diff --git a/hosc/examples/sc/zip2.hs → examples/sc/zip2.hs b/hosc/examples/sc/zip2.hs → examples/sc/zip2.hs
diff --git a/hosc/examples/se/in/01a_rev.hl0 → examples/se/in/01a_rev.hl0 b/hosc/examples/se/in/01a_rev.hl0 → examples/se/in/01a_rev.hl0
diff --git a/hosc/examples/se/in/01b_rev.hl0 → examples/se/in/01b_rev.hl0 b/hosc/examples/se/in/01b_rev.hl0 → examples/se/in/01b_rev.hl0
diff --git a/hosc/examples/se/in/01c_rev.hl0 → examples/se/in/01c_rev.hl0 b/hosc/examples/se/in/01c_rev.hl0 → examples/se/in/01c_rev.hl0
diff --git a/hosc/examples/se/in/03a_comp_map_join.hl0 → examples/se/in/03a_comp_map_join.hl0 b/hosc/examples/se/in/03a_comp_map_join.hl0 → examples/se/in/03a_comp_map_join.hl0
diff --git a/hosc/examples/se/in/03b_comp_map_join.hl0 → examples/se/in/03b_comp_map_join.hl0 b/hosc/examples/se/in/03b_comp_map_join.hl0 → examples/se/in/03b_comp_map_join.hl0
diff --git a/hosc/examples/se/in/filter1.hs → examples/se/in/filter1.hs b/hosc/examples/se/in/filter1.hs → examples/se/in/filter1.hs
diff --git a/hosc/examples/se/in/filter2.hs → examples/se/in/filter2.hs b/hosc/examples/se/in/filter2.hs → examples/se/in/filter2.hs
diff --git a/hosc/examples/se/in/iter1.hs → examples/se/in/iter1.hs b/hosc/examples/se/in/iter1.hs → examples/se/in/iter1.hs
diff --git a/hosc/examples/se/in/iter2.hs → examples/se/in/iter2.hs b/hosc/examples/se/in/iter2.hs → examples/se/in/iter2.hs
diff --git a/hosc/examples/se/in/synapse.hs → examples/se/in/synapse.hs b/hosc/examples/se/in/synapse.hs → examples/se/in/synapse.hs
diff --git a/hosc/examples/se/in/synapse1.hs → examples/se/in/synapse1.hs b/hosc/examples/se/in/synapse1.hs → examples/se/in/synapse1.hs
diff --git a/hosc/examples/se/in/synapse2.hs → examples/se/in/synapse2.hs b/hosc/examples/se/in/synapse2.hs → examples/se/in/synapse2.hs
diff --git a/hosc/examples/se/out/.hidden → examples/se/out/.hidden b/hosc/examples/se/out/.hidden → examples/se/out/.hidden
diff --git a/hosc/examples/se/todo → examples/se/todo b/hosc/examples/se/todo → examples/se/todo
diff --git a/hosc/examples/spec/dump/.hidden → examples/spec/dump/.hidden b/hosc/examples/spec/dump/.hidden → examples/spec/dump/.hidden
diff --git a/hosc/examples/spec/iterate1.in.hs → examples/spec/iterate1.in.hs b/hosc/examples/spec/iterate1.in.hs → examples/spec/iterate1.in.hs
diff --git a/hosc/examples/spec/iterate1.out.hs → examples/spec/iterate1.out.hs b/hosc/examples/spec/iterate1.out.hs → examples/spec/iterate1.out.hs
diff --git a/hosc/examples/spec/iterate2.in.hs → examples/spec/iterate2.in.hs b/hosc/examples/spec/iterate2.in.hs → examples/spec/iterate2.in.hs
diff --git a/hosc/examples/spec/iterate2.out.hs → examples/spec/iterate2.out.hs b/hosc/examples/spec/iterate2.out.hs → examples/spec/iterate2.out.hs
diff --git a/hosc/examples/spec/russel1.in.hs → examples/spec/russel1.in.hs b/hosc/examples/spec/russel1.in.hs → examples/spec/russel1.in.hs
diff --git a/hosc/examples/spec/russel1.out.hs → examples/spec/russel1.out.hs b/hosc/examples/spec/russel1.out.hs → examples/spec/russel1.out.hs
diff --git a/hosc/examples/spec/russel2.in.hs → examples/spec/russel2.in.hs b/hosc/examples/spec/russel2.in.hs → examples/spec/russel2.in.hs
diff --git a/hosc/examples/spec/russel2.out.hs → examples/spec/russel2.out.hs b/hosc/examples/spec/russel2.out.hs → examples/spec/russel2.out.hs
diff --git a/hosc/examples/spec/russel3.in.hs → examples/spec/russel3.in.hs b/hosc/examples/spec/russel3.in.hs → examples/spec/russel3.in.hs
diff --git a/hosc/examples/spec/russel3.out.hs → examples/spec/russel3.out.hs b/hosc/examples/spec/russel3.out.hs → examples/spec/russel3.out.hs
diff --git a/hosc/examples/spec/russel4.in.hs → examples/spec/russel4.in.hs b/hosc/examples/spec/russel4.in.hs → examples/spec/russel4.in.hs
diff --git a/hosc/examples/spec/russel4.out.hs → examples/spec/russel4.out.hs b/hosc/examples/spec/russel4.out.hs → examples/spec/russel4.out.hs
diff --git a/hosc/examples/spec/russel5.in.hs → examples/spec/russel5.in.hs b/hosc/examples/spec/russel5.in.hs → examples/spec/russel5.in.hs
diff --git a/hosc/examples/spec/russel5.out.hs → examples/spec/russel5.out.hs b/hosc/examples/spec/russel5.out.hs → examples/spec/russel5.out.hs
diff --git a/hosc/examples/spec_eq/flists.hs → examples/spec_eq/flists.hs b/hosc/examples/spec_eq/flists.hs → examples/spec_eq/flists.hs
diff --git a/hosc/examples/spec_eq/lists.hs → examples/spec_eq/lists.hs b/hosc/examples/spec_eq/lists.hs → examples/spec_eq/lists.hs
diff --git a/hosc/examples/spec_eq/maybe_monad.hs → examples/spec_eq/maybe_monad.hs b/hosc/examples/spec_eq/maybe_monad.hs → examples/spec_eq/maybe_monad.hs
diff --git a/hosc/examples/spec_eq/mlists.hs → examples/spec_eq/mlists.hs b/hosc/examples/spec_eq/mlists.hs → examples/spec_eq/mlists.hs
diff --git a/hosc/examples/spec_eq/state_monad.hs → examples/spec_eq/state_monad.hs b/hosc/examples/spec_eq/state_monad.hs → examples/spec_eq/state_monad.hs
diff --git a/hosc/examples/spec_fhl/doublea.hs → examples/spec_fhl/doublea.hs b/hosc/examples/spec_fhl/doublea.hs → examples/spec_fhl/doublea.hs
diff --git a/hosc/examples/spec_fhl/lemma1_1.hs → examples/spec_fhl/lemma1_1.hs b/hosc/examples/spec_fhl/lemma1_1.hs → examples/spec_fhl/lemma1_1.hs