From bb423658aa79e5cfdb5a89ec6af2f522a5bdb0cc Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 6 Jul 2007 15:37:32 +0000
Subject: new tutorial almost finished

---
 doc/tutorial/smarthouse/Smart.gf | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 doc/tutorial/smarthouse/Smart.gf

(limited to 'doc/tutorial/smarthouse/Smart.gf')

diff --git a/doc/tutorial/smarthouse/Smart.gf b/doc/tutorial/smarthouse/Smart.gf
new file mode 100644
index 000000000..f23082b47
--- /dev/null
+++ b/doc/tutorial/smarthouse/Smart.gf
@@ -0,0 +1,17 @@
+abstract Smart = {
+
+flags startcat = Command ;
+
+cat 
+  Command ; 
+  Kind ; 
+  Action Kind ; 
+  Device Kind ; 
+fun
+  CAction : (k : Kind) -> Action k -> Device k -> Command ;
+  DKindOne  : (k : Kind) -> Device k ;
+  light, fan : Kind ;
+  switchOn, switchOff : (k : Kind) -> Action k ;
+  dim : Action light ;
+}
+
-- 
cgit v1.2.3