Diff of /thys/Category2/ROOT.ML [000000] .. [aa4262]  Maximize  Restore

Switch to side-by-side view

--- a
+++ b/thys/Category2/ROOT.ML
@@ -0,0 +1,2 @@
+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:





No, thanks