1 files changed, 0 insertions, 37 deletions
diff --git a/sucl/loop.dcl b/sucl/loop.dcl
deleted file mode 100644
index cdc6fc1..0000000
--- a/sucl/loop.dcl
+++ /dev/null
@@ -1,37 +0,0 @@
-definition module loop
-
-// $Id$
-
-from strat import Strategy
-from trace import Trace
-from spine import Answer
-from history import HistoryAssociation,HistoryPattern
-from rule import Rgraph,Rule
-from graph import Graph
-from StdOverloaded import ==
-from StdFile import <<<
-from StdString import toString
-
-from strat import Substrategy,Subspine   // for Strategy
-from trace import History,Transformation // for Trace
-from spine import Spine                  // for Answer
-from graph import Node                   // for Strategy
-from basic import Optional               // for Answer
-
-loop
- :: (((Graph sym pvar) pvar var -> ub:Bool) -> Strategy sym var pvar (Answer sym var pvar))
-    ([Rgraph sym pvar] (Rgraph sym pvar) -> ub:Bool)
-    !(.[var],.Rule sym var)
- -> Trace sym var pvar
- |  == sym
- &  == var
- &  == pvar
- &  toString sym    // Debugging
- &  toString var    // Debugging
- &  <<< var         // Debugging
-
-initrule
- :: ![var]
-    (sym->[pvar])
-    sym
- -> ([var],Rule sym var)