diff options
Diffstat (limited to 'sucl/strat.dcl')
-rw-r--r-- | sucl/strat.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sucl/strat.dcl b/sucl/strat.dcl index d65972d..01589e0 100644 --- a/sucl/strat.dcl +++ b/sucl/strat.dcl @@ -8,6 +8,7 @@ from rule import Rule from graph import Graph,Node from StdOverloaded import == +from history import HistoryAssociation,HistoryPattern,Link // for History from spine import Spine // for Answer from spine import Subspine // for Spine from rule import Rgraph // for History |