]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/simple.3
3e20e8a441561199564b3fdcf72e98952c3cafd2
[fireball-separation.git] / ocaml / problems / simple.3
1 $! simple: eating problem
2 D x a b d
3 C x a c