SAKAI Masahiro - TheoremProvers Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= 定理証明機に関するメモ
((<URL:http://www.icot.or.jp/ARCHIVE/Museum/SOFTWARE/MGTP/lecture/html/otherSystems.html>))
((<URL:http://www.icot.or.jp/ARCHIVE/Museum/SOFTWARE/MGTP/lecture/html/otherSystems.html>))