Commit [r1837]  Maximize  Restore  History

Debugging lfp reductions and starting games grammar in documentation in www.

lukaszkaiser 2013-02-18

changed /trunk/Toss/Formula/FormulaSubst.ml
changed /trunk/Toss/Solver/Reduction.ml
changed /trunk/Toss/Solver/ReductionTest.ml
changed /trunk/Toss/Solver/Solver.ml
changed /trunk/Toss/Solver/SolverTest.ml
changed /trunk/Toss/www/create.xml
changed /trunk/Toss/www/index.xml
/trunk/Toss/Formula/FormulaSubst.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Reduction.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/ReductionTest.ml 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/www/create.xml Diff Switch to side-by-side view
Loading...
/trunk/Toss/www/index.xml Diff Switch to side-by-side view
Loading...