diff options
Diffstat (limited to 'sucl/extract.icl')
| -rw-r--r-- | sucl/extract.icl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sucl/extract.icl b/sucl/extract.icl index bf65356..97b09f7 100644 --- a/sucl/extract.icl +++ b/sucl/extract.icl @@ -1,3 +1,9 @@ +implementation module extract + +// $Id$ + +/* + extract.lit - Folding of subject graphs ======================================= @@ -172,3 +178,5 @@ bearing a delta function symbol). > = updategraph node cnt, if def > = id, otherwise > where (def,cnt) = dnc (const "in finishfold/2") graph node + +*/ |