From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 20 Nov 2013 21:50:56 +0000 (+0100)
Subject: Put the move type of automata in a Move module and add auxiliary function to create... 
X-Git-Tag: v0.1~34
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=c36250a4de897883d0080fc369d784abf0e2ebe8;hp=c36250a4de897883d0080fc369d784abf0e2ebe8;p=tatoo.git

Put the move type of automata in a Move module and add auxiliary function to create and maintain tables indexed by moves. Use it to return the states of a forumla by move.
---