HOL
HOL copied to clipboard
Warn if modules / theories only differ by case
This leads to very strange errors on case-insensitive file systems. Also arises if a theory is referenced in one place with one capitalisation and in another with a different one.
Better yet (perhaps?): detect if FS is case-insensitive, record this fact, and then change operations like load
to normalise filenames before using then.