More idiomatic imports for Isabelle

#55 Merged at c02e7d3
Repository
larsrh
Branch
topic/imports
Repository
Peter_Sewell
Branch
master
Author
  1. Lars Hupel
Reviewers
Description
  • don't import Code_Numeral (this pollutes the global code setup)
  • if -outdir is specified, use relative imports (outdir will print all files to the same folder, so it's not necessary to use absolute imports)

Comments (0)