?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
initial
[prop.git] / app / willard / data7
blobcdb8d096a9109728d6033f4f86129307919f428f
1   
2   
3   (not (a and b and c and d and e and a and b and c and d and e
4         and (true or false) and (a and b) and (a or b)))
5   and
6   (not (a and b and c))
7   and
8   true
Prop: a C++ based pattern matching language