From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 30 Apr 2004 14:00:15 +0000 (+0000)
Subject: added Abort and Check commands
X-Git-Tag: V_0_0_9~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=9e2b452ac3b4b5ba72834fd6e51e104e4faa032c;hp=9e2b452ac3b4b5ba72834fd6e51e104e4faa032c;p=helm.git

added Abort and Check commands
---