load file-name
1可用绝对路径
2.可进入maude文件所在目录下load
3.默认工作空间是什么？
posted on 2018-12-10 22:46 Pusteblume2018 阅读(321) 评论(0) 编辑 收藏 举报
