localMaude=/Users/duran/Maude/Alpha89g/maude.intelDarwin localFullMaude=/Users/duran/workspaceMaude/FM23/full-maude23h.maude localMttTransf=/Users/duran/workspaceMaude/FormalTools/MTT/MTT-transformations.1.5d.maude name=AProVE isToolAvailable=true isWSTool=false urlWSTool=http:// localTool=/Users/duran/Tools/AProVE/runme name=MuTerm isToolAvailable=true isWSTool=false urlWSTool=http:// localTool=/Users/duran/Tools/MuTerm4.4/muterm