HomeIsabelle/Phabricator

Resolve a "Duplicate constant declaration" issue that occurs with "isabelle…

Description

Resolve a "Duplicate constant declaration" issue that occurs with "isabelle build -o export_theory".