Re: [isabelle] HOLCF equality



Am 09/07/2012 15:04, schrieb Brian Huffman:
> This sounds like a good idea. The question is where to put it. We
> could add a theory file under HOLCF in the distribution, or we could
> add an AFP entry for this purpose. (Maybe using the distribution is
> better; as an "archive", the AFP seems not to be intended so much for
> dynamic, growing works with open authorship.)

The distribution is more lightweight than the AFP. But in either case the set of
people that can add contributions will be restricted.

Tobias





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