changed namespace to http://clafer.org/ir
changed namespace to http://clafer.org/ir

gsdlab/clafer,juodaspaulius/clafer-old-customBNFC,gsdlab/clafer,juodaspaulius/clafer,juodaspaulius/clafer,juodaspaulius/bclafer_old