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

http://afp.sourceforge.net/entries/Applicative_Lifting.shtml
http://afp.sourceforge.net/entries/Stern_Brocot.shtml

Many thanks to the authors for their contributions!

Larry Paulson






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