ObjLabel.inp(btex Haskell source etex) "labpathname(haskell)", "labdir(rt)";
ObjLabel.front(btex Core etex) "labpathname(core)", "labdir(rt)";
ObjLabel.norm(btex Normalized core etex) "labpathname(normal)", "labdir(rt)";
ObjLabel.inp(btex Haskell source etex) "labpathname(haskell)", "labdir(rt)";
ObjLabel.front(btex Core etex) "labpathname(core)", "labdir(rt)";
ObjLabel.norm(btex Normalized core etex) "labpathname(normal)", "labdir(rt)";