X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=server%2Ftesi%2Fout%2Fproduction%2Ftesi%2Fcom%2Fcompany%2Fesercizi.xml;fp=server%2Ftesi%2Fout%2Fproduction%2Ftesi%2Fcom%2Fcompany%2Fesercizi.xml;h=50ba72942d0c3d2029c8854d4ebe1768ad974b63;hb=edfa62efb21b128dce6de134a3fb0d85f77bd2b8;hp=0000000000000000000000000000000000000000;hpb=a02dc65816998ec35975339dbad1627c2e5fb444;p=logicplayer.git diff --git a/server/tesi/out/production/tesi/com/company/esercizi.xml b/server/tesi/out/production/tesi/com/company/esercizi.xml new file mode 100644 index 0000000..50ba729 --- /dev/null +++ b/server/tesi/out/production/tesi/com/company/esercizi.xml @@ -0,0 +1,5 @@ + + + aalbero.xml + tautologia.xml +