文件:Standard-ML-97-seven-sections.png

没有更高的分辨率。

Standard-ML-97-seven-sections.png‎ （643×138像素，文件大小：20 KB，MIME类型：image/png）

文件历史

查看某一时刻的文件，请单击相应的日期/时间。

	日期/时间	缩略图	大小	用户	评论
当前	2022年10月15日 (六) 14:07		643 × 138 (20 KB)	Allen (讨论 \| 贡献)	https://smlfamily.github.io/sml97-defn.pdf category:programming language category:formal category:proof assistant category:reasoning category:ML

以下的1个页面链接到本文件：