incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincractivateXactivaten__adxXadxactivateXactivaten__zeroszerosactivateXX2.0activaten__adxactivaten__zeros11activateXXactivaten__adxn__zerosactivaten__adxXadxactivateXadxactivaten__zeros1activaten__zeroszerosadxzeros1zeroscons0n__zerosadxcons0n__zerosadxconsXLincrconsXn__adxactivateLincrcons0n__adxactivaten__zerosincrconsXLconssXn__incractivateLconss0n__incractivaten__adxactivaten__zerosconss0n__incr
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe