図式による証明支援系
Copyright (C) 1997 木下佳樹、高橋孝一、中田秀基、坂井公