]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/.depend.opt
Initial version of the Helena Checker
[helm.git] / helm / software / lambda-delta / .depend.opt
1 automath/autHelpers.cmi: automath/aut.cmx 
2 automath/autHelpers.cmo: automath/aut.cmx automath/autHelpers.cmi 
3 automath/autHelpers.cmx: automath/aut.cmx automath/autHelpers.cmi 
4 automath/autParser.cmi: automath/aut.cmx 
5 automath/autParser.cmo: automath/aut.cmx automath/autParser.cmi 
6 automath/autParser.cmx: automath/aut.cmx automath/autParser.cmi 
7 automath/autLexer.cmo: automath/autParser.cmi 
8 automath/autLexer.cmx: automath/autParser.cmx 
9 toplevel/top.cmo: automath/autParser.cmi automath/autLexer.cmx \
10     automath/autHelpers.cmi 
11 toplevel/top.cmx: automath/autParser.cmx automath/autLexer.cmx \
12     automath/autHelpers.cmx