]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_notation/.depend
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
first check-in of cic_notation
[helm.git] / helm / ocaml / cic_notation / .depend
1 cicNotationLexer.cmo: cicNotationLexer.cmi 
2 cicNotationLexer.cmx: cicNotationLexer.cmi 
3 cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi 
4 cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi 
Unnamed repository; edit this file 'description' to name the repository.