[isabelle-dev] Homology

[Makarius]

On 09/04/2019 15:38, Traytel  Dmitriy wrote:
> 
>>   AAAA Main
>>   AAA Complex_Main
>>   AA Algebra, basic Analysis
> 
> But hopefully the battery sizes will not be interpreted as the following:
> 
> https://en.wikipedia.org/wiki/Bond_credit_rating

No, that is utter nonsense by the Financial Industry.

The letters above (with the mental picture of tiny to fat batteries) are
merely meant as a starting point to think about scalable library schemes
and proper names for it.

Nothing of this is relevant for the release, but it could be seen as
indication that things will stay on the move, and whatever gets into the
Isabelle2019 won't be the last word on it.


	Makarius