Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!cs.umu.se!karhu From: karhu@cs.umu.se (Erik Lindstr|m) Newsgroups: comp.theory Subject: uUTRL - A Small Term Rewriting Laboratory Message-ID: <1991May8.084711.14266@cs.umu.se> Date: 8 May 91 08:47:11 GMT Sender: news@cs.umu.se (News Administrator) Organization: Dep. of Info.Proc, Umea Univ., Sweden Lines: 6 -- =+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+ Erik Lindstroem =+ This principle is so Dept. of Computing Science += perfectly general, that University of Umea =+ no particular application