fromXconsXn__fromn__sXlengthn__nil0lengthn__consXYslength1activateYlength1XlengthactivateXfromXn__fromXsXn__sXniln__nilconsX1X2n__consX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__nilnilactivaten__consX1X2consactivateX1X2activateXX2.0length1activaten__fromX'1activateXXlength1n__fromX'length1XlengthactivateXlengthactivaten__fromX'1activaten__fromX''fromactivateX''lengthfromactivateX'1fromXconsXn__fromn__sXlengthconsactivateX'n__fromn__sactivateX'1consX1X2n__consX1X2lengthn__consactivateX'n__fromn__sactivateX'lengthn__consXYslength1activateYslength1activaten__fromn__sactivateX'X'n__sactivateX's
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe