Improved efficiency of code generated for < predicate on natural numbers.
#!/bin/sh## polyml-version --- issue Poly/ML version identifier## NOTE: version identifiers should be kept as generic as possible,# i.e. shared by compatible environments.echo polyml-4.1.1