From 2f389dbce69245089a3b7a7a63832ac5e5773363 Mon Sep 17 00:00:00 2001
From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Wed, 10 Apr 2013 10:01:59 +0000
Subject: [PATCH] commit by user andrea

---
 weblib/While/semantics.ma | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 weblib/While/semantics.ma

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
-- 
2.39.2