Commit [r1807] Maximize Restore History

More reduction finding work.

lukaszkaiser 2012-11-26

changed /trunk/Toss/Client/reduct.html
changed /trunk/Toss/Formula/FormulaParser.mly
changed /trunk/Toss/Client/JsEval.ml
changed /trunk/Toss/Formula/FormulaSubst.mli
changed /trunk/Toss/Solver/Solver.ml
changed /trunk/Toss/Solver/SolverTest.ml
changed /trunk/Toss/Formula/FormulaSubst.ml
changed /trunk/Toss/Solver/Solver.mli
/trunk/Toss/Client/reduct.html Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaParser.mly Diff Switch to side-by-side view
Loading...
/trunk/Toss/Client/JsEval.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaSubst.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Solver.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/SolverTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaSubst.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Solver.mli Diff Switch to side-by-side view
Loading...