Re: [isabelle] New in the AFP: Formal Puiseux Series

Hi Manuel,

>Not sure what "Fair Games" actually is, but my best guess is that it
>refers to the Optional Stopping Theorem.

Yes, that's my guess too.  I never managed to reach the
people who drew up the original top 100 list, so I never
could ask.


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