]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/simple.3
Fix: bug in printing garbage, did not consider the level
[fireball-separation.git] / ocaml / problems / simple.3
1 $! simple: eating problem
2 D x a b d
3 C x a c