[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Question on new decision procedures


> Also, I did not manage to find the epsilon and choose functions in the 
> manuals. Did I just miss them (and then, please where are they) or are
> they not there and being phased out?

There's some discussion of epsilon and choose in section 2.4.2 of the
"less elementary" tutorial:

And also in the "Subtypes for Specifications" paper:

As Harald says, there's no danger of these being phased out.