[isabelle-dev] Relations vs. Predicates

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Wed Apr 18 20:44:08 CEST 2012

Hi all,

>> Moreover NEWS in that version has oddities like this:
>> rel_comp_def ~> rel_comp_unfold
>> and later
>> rel_comp_unfold ~> relcomp_unfold
>> In the time immediately before the relase (which is now) the NEWS should
>> reflect the perspective for end-users of the official stable system that
>> is delivered.
> I observed this oddities but left them deliberately since I was not
> aware of the above convention (which is of course very sensible).

I have merged those two traces, and grouped the relation-related entries

This accident shows how easy it is to loose overview about the different
and dynamically evolving fragements of a big story, in this case the
more pervasive dualisms of predicate relations and set relations, which
in turn was only a spin-off of the set story etc.



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120418/36d4f1a7/attachment.sig>

More information about the isabelle-dev mailing list