In type unification don't have occurs check recur on predicates of subsorts and quotients. This was causing type errors for reasonable cases. (bug 82).
In type unification don't have occurs check recur on predicates of
subsorts and quotients. This was causing type errors for reasonable
cases. (bug 82).


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@1769 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware