non-overlapping diretory Examples/ICF;

Sun, 08 Sep 2019 22:18:59 +0200

author
wenzelm
date
Sun, 08 Sep 2019 22:18:59 +0200
changeset 10601
863519ae0ea9
parent 10600
273de6cb6c51
child 10602
addaddcb957f
child 10603
48532c37dc2a

non-overlapping diretory Examples/ICF;

thys/Collections/ROOT file | annotate | diff | comparison | revisions
--- a/thys/Collections/ROOT	Sun Sep 08 21:33:54 2019 +0200
+++ b/thys/Collections/ROOT	Sun Sep 08 22:18:59 2019 +0200
@@ -158,7 +158,7 @@
   directories
     "Autoref"
     "Refine_Monadic"
-    "ICF" (overlapping)
+    "ICF"
 
   (* Examples *)
   theories

mercurial