Commit [r1791]  Maximize  Restore  History

Term: warning when input rewrite rule type is more general than both the LHS and the RHS types.

lukstafi 2012-10-27

changed /trunk/Toss/Formula/AuxIO.ml
changed /trunk/Toss/Formula/AuxIO.mli
changed /trunk/Toss/Term/Coding.ml
changed /trunk/Toss/Term/Coding.mli
changed /trunk/Toss/Term/Makefile
changed /trunk/Toss/Term/ParseArc.ml
changed /trunk/Toss/Term/TRS.ml
changed /trunk/Toss/Term/lib/arithmetics.trs
changed /trunk/Toss/Term/tests/inheritance.log
/trunk/Toss/Formula/AuxIO.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/AuxIO.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/Coding.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/Coding.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/ParseArc.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/TRS.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/lib/arithmetics.trs Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/inheritance.log Diff Switch to side-by-side view
Loading...