Isabelle import infrastructure for the Mizar Mathematical Library
scientific article; zbMATH DE number 6957965