文件:Isabelle-code-generator-architecture.png

本预览的大小：800×384像素。

完全分辨率‎ （826×396像素，文件大小：56 KB，MIME类型：image/png）

文件历史

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

	日期/时间	缩略图	大小	用户	评论
当前	2022年2月8日 (二) 15:49		826 × 396 (56 KB)	Allen (讨论 \| 贡献)	https://docs.huihoo.com/proof/isabelle/isabelle2021-1/docs/codegen.pdf category:proof assistant category:isabelle

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