gf-book web page index and toc

1 files changed, 0 insertions, 28 deletions

diff --git a/book/examples/chapter6/Classes.gf b/book/examples/chapter6/Classes.gf
deleted file mode 100644
index ac7430d25..000000000
--- a/book/examples/chapter6/Classes.gf
+++ /dev/null
@@ -1,28 +0,0 @@
-abstract Classes = {
-
-flags 
-  startcat = Command ;
-
-cat
-  Command ;
-  Kind ;
-  Class ;
-  Instance Class Kind ;
-  Action Class ;
-  Device Kind ;
-
-fun
-  Act  : (c : Class) -> (k : Kind) -> Instance c k -> Action c -> Device k -> Command ;
-  The : (k : Kind) -> Device k ;
-
-  Light, Fan : Kind ;
-  Switchable, Dimmable : Class ;
-  
-  SwitchOn, SwitchOff : Action Switchable ;
-  Dim : Action Dimmable ;
-
-  switchable_Light : Instance Switchable Light ;
-  switchable_Fan : Instance Switchable Fan ;
-  dimmable_Light : Instance Dimmable Light ;
-
-}