History for DesignCraft / src / main / java / ast / MethodDeclaration.java

・toString() でΔ-代数の式を出力できるようにした．