17 matita/components/METAS/META*
21 matita/components/extlib/componentsConf.ml
22 matita/matita/matitaGeneratedGui.ml
23 matita/matita/matita.conf.xml
24 matita/matita/buildTimeConf.ml
25 matita/matita/matita.glade.utf8
31 matita/matita/matita.opt
32 matita/matita/matitac.opt
33 matita/matita/matitaclean
34 matita/matita/matitaclean.opt
36 matita/matita/help/C/version.txt
38 helm/software/helena/matita
39 helm/software/helena/scripts/lp/grundlagen_2b_lyp.elpi
40 helm/software/helena/scripts/cc
41 helm/software/helena/etc
43 matita/matita/contribs/lambdadelta/token
44 matita/matita/contribs/lambdadelta/2A1
45 matita/matita/contribs/lambdadelta/apps_2/notation
46 matita/matita/contribs/lambdadelta/apps_2/models
47 matita/matita/contribs/lambdadelta/ground_2/xoa/xoa2.ma
48 matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation2.ma