]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_kernel/.depend
...
[helm.git] / helm / software / components / ng_kernel / .depend
index 4b11d9af63b98c6343b5fcc70cb32931340bc6ad..a411383423165650cb5f7e49eb9b516d94989881 100644 (file)
@@ -1,3 +1,4 @@
+nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmo 
 nCicSubstitution.cmi: nCic.cmo