Diff of /thys/Locally-Nameless-Sigma/ROOT.ML [096842] .. [7cfccc]  Maximize  Restore

Switch to side-by-side view

--- a/thys/Locally-Nameless-Sigma/ROOT.ML
+++ b/thys/Locally-Nameless-Sigma/ROOT.ML
@@ -1,3 +1,2 @@
 no_document use_thy "~~/src/HOL/Lambda/Commutation";
-use_thy "Sigma/ParRed";
-use_thy "Sigma/TypedSigma";
+use_thy "Locally_Nameless_Sigma";

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

Sign up for the SourceForge newsletter:





No, thanks