diff 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
line wrap: on
line diff