This entry summarizes and explains how to build AFP with the new build system introduced in Isabelle 2012 post-release mode.
確定! 回上一頁