[isabelle] two new AFP entries

I am happy to announce two new developments in the AFP. The first is a package for applicative functors, and the second uses that package to formalise the Stern-Brocot tree, which contains all rational numbers exactly once and in their lowest terms.  


Many thanks to the authors for their contributions!

Larry Paulson

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