commit by user andrea

diff --git a/weblib/While/semantics.ma b/weblib/While/semantics.ma
new file mode 100644 (file)
index 0000000..9432984
--- /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