Resolve a "Duplicate constant declaration" issue that occurs with "isabelle build -o export_theory".
Description
Description
Details
Details
- Provenance
Eugene W. Stark <stark@cs.stonybrook.edu> Authored on - Parents
- rAFP667d48034562: avoid side effects on working copy while runnign sessions (generated code is…
- Branches
- Unknown
- Tags