]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/simple.constants.eat.1
projects / fireball-separation.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Added problems that fail when eat is done incorrectly
[fireball-separation.git] / ocaml / problems / simple.constants.eat.1
1 $!\r
2 D x a b c d e f\r
3 C y (x a b)\r
4 \r
5 $!\r
6 D x C C @\r
7 C y (x @ @ @)\r
Unnamed repository; edit this file 'description' to name the repository.