* new functions sorted and sort in List.
Tobias
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Clemens Ballarin
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Amine Chaieb
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Amine Chaieb
