1 files changed, 17 insertions, 0 deletions
diff --git a/sucl/history.dcl b/sucl/history.dcl
new file mode 100644
index 0000000..70ff418
--- /dev/null
+++ b/sucl/history.dcl
@@ -0,0 +1,17 @@
+definition module history
+
+from spine import Spine
+from rule import Rgraph
+from graph import Graph
+
+from spine import Subspine // for Spine
+
+:: History sym var
+   :== [(var,[Rgraph sym var])]
+
+extendhistory
+ :: (Graph sym var)
+    (var -> var)
+    (Spine sym var pvar)
+    (History sym var)
+ -> History sym var