HomeIsabelle/Phabricator

improved list_neq simproc

Description

improved list_neq simproc

Details

Provenance
nipkowAuthored on
Parents
rISABELLE95937cfe2628: merged
Branches
Unknown
Tags
Unknown