HomePhabricator

proper file name: .ML is mandatory for Isabelle/ML files;

Authored by makarius.

Description

proper file name: .ML is mandatory for Isabelle/ML files;

Details

Committed
makariusOct 28 2019, 7:52 PM
Parents
rISABELLE84f79d82df0a: some applications of "metric"
Branches
Unknown
Tags
Unknown