[POPLmark] Re: [Provers] Re: adequacy

[Geoffrey A. Washburn]

On Thu, 5 May 2005, Karl Crary wrote:

> Uniqueness checking is not currently part of Twelf,

	The web page seems to says it is.  I seem recall reading something
  recently about it now being integrated with coverage checking.  I've
  personally experimented with it myself.

> and has nothing that I know of to do with the current discussion.

	Uniqueness an example of just one of the meta-logical features of
  Twelf that one might use.

-- 
-- Geoff Washburn | geoffw at cis.upenn.edu | http://www.cis.upenn.edu/~geoffw/ --