diff LTL/LTL.agda @ 62:29b069a0c409

Define n-push
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 14 Jan 2017 02:22:09 +0000 (2017-01-14)
parents a59bebe0265a
children
line wrap: on
line diff