revnilnilrevconsxlconsrev1xlrev2xlrev10nil0rev1sxnilsxrev1xconsylrev1ylrev2xnilnilrev2xconsylrevconsxrev2yl2.1revconsxlrev1xlrevconsxlrev2xlrev1xconsylrev1ylrev2xconsylrevconsxrev2ylrev2xconsylrev2yltruerevconsxlrev2xlrev2xconsylrevconsxrev2ylrev2xconsylrev2yltrue121cons2112rev2212nil00rev111rev120rev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xlrev2xconsylrevconsxrev2yl2false1rev2xconsylrev2yl2true2revconsxlrev2xl1true2revconsxlrev1xlfalse1rev1xconsylrev1yltruecons20cons22rev1xconsylrev1yl2true2
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe