- taken advantage of new syntax to declare and define ops at the same time - added predicate useful to denote subtypes of Nat in given ranges - ddded predicate for multiples - added subtype for prime numbers - added predicates and subtypes for even and odd numbers - added least common multiple & greatest common divisor - added Euler's totient function - added integer square root - added op to return ordered list of primes less than given limit
- taken advantage of new syntax to declare and define ops at the same time
- added predicate useful to denote subtypes of Nat in given ranges
- ddded predicate for multiples
- added subtype for prime numbers
- added predicates and subtypes for even and odd numbers
- added least common multiple & greatest common divisor
- added Euler's totient function
- added integer square root
- added op to return ordered list of primes less than given limit


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

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