X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fmatita%2Fhelp%2FC%2Ffigures%2Fdatabase.dia;fp=matita%2Fmatita%2Fhelp%2FC%2Ffigures%2Fdatabase.dia;h=652ea01eb80226a77267362527a7fbeac6145aba;hb=2c01ff6094173915e7023076ea48b5804dca7778;hp=0000000000000000000000000000000000000000;hpb=a050e3f80d7ea084ce0184279af98e8251c7d2a6;p=helm.git diff --git a/matita/matita/help/C/figures/database.dia b/matita/matita/help/C/figures/database.dia new file mode 100644 index 000000000..652ea01eb Binary files /dev/null and b/matita/matita/help/C/figures/database.dia differ