From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Mon, 7 Oct 2013 14:05:18 +0000 (+0000)
Subject: Starting proof about semantics of binary machines.
X-Git-Tag: make_still_working~1094
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=04b536f1693534e450fde5dc824022321d93d039;hp=04b536f1693534e450fde5dc824022321d93d039;p=helm.git

Starting proof about semantics of binary machines.
---