comparison doc/ChangeLog.txt @ 181:78b28c8ffff2

Prove equivalence n-push/n-pop to empty stack
author atton
date Tue, 13 Dec 2016 02:12:49 +0000
parents 907c69e21e56
children
comparison
equal deleted inserted replaced
180:d8947747ff3b 181:78b28c8ffff2