Re: [isabelle] [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation[SEC=UNCLASSIFIED]



On Fri, 19 Aug 2011, Dr. Brendan Patrick Mahony wrote:

I admit to a certain feeling surreality listening in on this exchange.

Of course, anybody can join the discussion, either on isabelle-dev or isabelle-users. See also http://news.gmane.org/gmane.science.mathematics.logic.isabelle.devel

Please chose exactly one list for your answers, to avoid crossposting and thus duplication for those on isabelle-dev (which is a subset of isabelle-users).


	Makarius






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.