HomeIsabelle/Phabricator

repaired broken proofs in Skip_Lists; removed unfinished experimental thy file

Description

repaired broken proofs in Skip_Lists; removed unfinished experimental thy file

Details

Provenance
pruvistoAuthored on
Parents
rAFP29f2271f9455: a few new lemmas
Branches
Unknown
Tags
Unknown