selsXconsYZselXactivateZsel0consXZXfirst0ZnilfirstsXconsYZconsYn__firstXactivateZfromXconsXn__fromn__sXsel1sXconsYZsel1XactivateZsel10consXZquoteXfirst10Znil1first1sXconsYZcons1quoteYfirst1XactivateZquoten__001quote1n__consXZcons1quoteactivateXquote1activateZquote1n__nilnil1quoten__sXs1quoteactivateXquoten__selXZsel1activateXactivateZquote1n__firstXZfirst1activateXactivateZunquote010unquotes1XsunquoteXunquote1nil1nilunquote1cons1XZfconsunquoteXunquote1ZfconsXZconsXZfirstX1X2n__firstX1X2fromXn__fromXsXn__sX0n__0consX1X2n__consX1X2niln__nilselX1X2n__selX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__00activaten__consX1X2consactivateX1X2activaten__nilnilactivaten__selX1X2selactivateX1activateX2activateXX2.0quote1activaten__fromX'1activaten__fromX''fromactivateX''quote1fromactivateX'1fromXconsXn__fromn__sXquote1consactivateX'n__fromn__sactivateX'1consX1X2n__consX1X2quote1n__consactivateX'n__fromn__sactivateX'quote1n__consXZcons1quoteactivateXquote1activateZcons1quoteactivateactivateX'quote1activaten__fromn__sactivateX'X'n__sactivateX'cons1quoteactivateactivateX'
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe