[aa4262]: thys / Category2 / ROOT.ML  Maximize  Restore  History

Download this file

3 lines (2 with data), 118 Bytes

no_document use_thys ["FuncSet", "Multiset", "~~/src/HOL/ZF/MainZF"];
use_thys ["MonadicEquationalTheory", "Yoneda"];

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks