[isabelle-dev] Relations vs. Predicates

[Florian Haftmann]

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
together.

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.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- 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>