X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2FWhile%2Fsemantics.ma;fp=weblib%2FWhile%2Fsemantics.ma;h=9432984443838055615e9d56aa3fdc371a709d5c;hb=2f389dbce69245089a3b7a7a63832ac5e5773363;hp=0000000000000000000000000000000000000000;hpb=e4065c7fa5b8392d3b2da7ff6ffae212fd9d5f38;p=helm.git

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