Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.
Description
Description
Details
Details
- Provenance
dcjm Authored on Jan 19 2020, 9:10 AM - Parents
- rPOLYMLf5b8283a1a19: Remove unused variable. This should have been removed in commit 889f7c37.
- Branches
- Unknown
- Tags