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

Download this file

ROOT.ML    3 lines (2 with data), 118 Bytes

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