X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=server%2Fcom%2Fcompany%2Fesercizi.xml;h=49df06c3f05ea11cfa83ef45620c23b8293b3135;hb=HEAD;hp=5f4d3d6f93da1d7796aa9fd3b4017491283076ce;hpb=109b9ca4a6878b9ed265ab6eec413883415d9e8d;p=logicplayer.git

diff --git a/server/com/company/esercizi.xml b/server/com/company/esercizi.xml
index 5f4d3d6..49df06c 100644
--- a/server/com/company/esercizi.xml
+++ b/server/com/company/esercizi.xml
@@ -1,9 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <esercizi>
   <esercizio md5="2a54f15678d8b0fa3b2d1f3824dfd7b6">demorgan.xml</esercizio>
-  <esercizio md5="4bfe78fb51248594a8b98ba51eff769f">triviale.xml</esercizio>
-  <esercizio md5="97c0cdde7504597040d100cfe3aa1644">test.xml</esercizio>
-  <esercizio md5="3c217b2132e40729b6c56c39073a356a">risolvibile.xml</esercizio>
   <esercizio md5="62b5ca97fbf8a5845185ae6010e26828">demorgan2.xml</esercizio>
   <esercizio md5="ada74dfbbd17a75aee6ba5fae31ee33f">ex1-7.xml</esercizio>
   <esercizio md5="1a0d5371bcdbb0cd4afc4af210420363">ex1-5.xml</esercizio>
@@ -15,4 +12,11 @@
   <esercizio md5="b191cf1e59233795dcdb270a8d2bda80">demorgan3.xml</esercizio>
   <esercizio md5="4e31b527b1c238a6a3f7d5f5e7608894">ex1-2.xml</esercizio>
   <esercizio md5="07e382ab230a1b2e9618e32c71855dab">ex1-4.xml</esercizio>
+  <esercizio md5="be96cc0386642dc13efe4436aff3fa7b">ex2-2.xml</esercizio>
+  <esercizio md5="85734cdf9de7a861fb935f048d444325">ex2-1.xml</esercizio>
+  <esercizio md5="f6b706d7b70607ee6f94ac34c4f9d067">ex2-5.xml</esercizio>
+  <esercizio md5="b39771c44d17cd74363026bbbc663297">ex2-3.xml</esercizio>
+  <esercizio md5="c36dbcd1c5d4530220440e4a74fc2c50">ex2-4.xml</esercizio>
+  <esercizio md5="8155df7a6c7da04ea8befd4bcb2d449e">ex2-7.xml</esercizio>
+  <esercizio md5="09ca3f0bb51c05c463ac4b7cbd531e8c">ex2-6.xml</esercizio>
 </esercizi>