[7cfccc]: thys / Locally-Nameless-Sigma / ROOT.ML  Maximize  Restore  History

Download this file

3 lines (2 with data), 87 Bytes

no_document use_thy "~~/src/HOL/Lambda/Commutation";
use_thy "Locally_Nameless_Sigma";

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks