Skip to content
Snippets Groups Projects
Commit a91391b9 authored by sof's avatar sof
Browse files

[project @ 1997-06-05 20:18:20 by sof]

tidied up
parent aeb7f7ec
No related merge requests found
......@@ -3,4 +3,4 @@ _exports_
MagicUFs MagicUnfoldingFun mkMagicUnfoldingFun;
_declarations_
1 data MagicUnfoldingFun;
1 mkMagicUnfoldingFun _:_ Unique.Unique -> MagicUFs.MagicUnfoldingFun ;;
1 mkMagicUnfoldingFun _:_ Unique.Unique -> MagicUnfoldingFun ;;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment