When x and y are strings, for "x < y" generate "x.compareTo(y) < 0" There may be a better solution, but this seems to work for the two cases implemented: "x < y" and "x > y".
When x and y are strings, for "x < y" generate "x.compareTo(y) < 0"
There may be a better solution, but this seems to work for
the two cases implemented: "x < y" and "x > y".


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

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