src/Pure/ML/ML_Root.thy
Tue, 05 Apr 2016 18:16:11 +0200 wenzelm proper syntax;
Tue, 05 Apr 2016 15:58:58 +0200 wenzelm support for ML project ROOT file, with imitation of ML "use" commands;
less more (0) tip