- Added some documentation comments.
Merge branch 'master' of github.com:jack-pappas/fsharp-tools
- Imported the new, improved DIET implementation ported from the CamlDiets project; it is built upon an AVL tree implementation extracted from the "AVL Trees" Isabelle/HOL theory in the Archive of Formal Proofs.
- Fixed typo which caused the comparison to be incorrect.
Merge branch 'balanced-diet'