HomeIsabelle/Phabricator

Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.

Authored by dcjm on Jan 19 2020, 9:10 AM.

Description

Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.

Details

Committed
dcjmJan 19 2020, 9:10 AM
Parents
rPOLYMLf5b8283a1a19: Remove unused variable. This should have been removed in commit 889f7c37.
Branches
Unknown
Tags
Unknown