From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Wed, 10 Apr 2013 10:01:59 +0000 (+0000)
Subject: commit by user andrea
X-Git-Tag: make_still_working~1195
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2f389dbce69245089a3b7a7a63832ac5e5773363

commit by user andrea
---

diff --git a/weblib/While/semantics.ma b/weblib/While/semantics.ma
new file mode 100644
index 000000000..943298444
--- /dev/null
+++ b/weblib/While/semantics.ma
@@ -0,0 +1,8 @@
+(* new script *)
+
+include "While/syntax.ma".  
+
+
+(* state *)
+
+definition state ≝ \
\ No newline at end of file