HomeIsabelle/Phabricator

added theory Natural_Mergesort for educational purposes

Description

added theory Natural_Mergesort for educational purposes

Details

Provenance
Christian Sternagel <c.sternagel@gmail.com>Authored on
Parents
rAFP13c18a730ac4: factored out lemmas
Branches
Unknown
Tags
Unknown