HomeIsabelle/Phabricator

reduced dependencies on theory List_Permutation