]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/com/company/esercizi.xml
New exercises.
[logicplayer.git] / server / com / company / esercizi.xml
index c28cd97266e4b47b99cc797e582b43135d13bde1..5f4d3d6f93da1d7796aa9fd3b4017491283076ce 100644 (file)
@@ -1,10 +1,18 @@
 <?xml version="1.0" encoding="UTF-8"?>\r
 <esercizi>\r
-  <esercizio md5="e687f326a904946f498421a0409916bf">aalbero.xml</esercizio>\r
-  <esercizio md5="d3d4772339c39d408a1b92a24d3c9311">tautologia.xml</esercizio>\r
   <esercizio md5="2a54f15678d8b0fa3b2d1f3824dfd7b6">demorgan.xml</esercizio>\r
   <esercizio md5="4bfe78fb51248594a8b98ba51eff769f">triviale.xml</esercizio>\r
   <esercizio md5="97c0cdde7504597040d100cfe3aa1644">test.xml</esercizio>\r
   <esercizio md5="3c217b2132e40729b6c56c39073a356a">risolvibile.xml</esercizio>\r
   <esercizio md5="62b5ca97fbf8a5845185ae6010e26828">demorgan2.xml</esercizio>\r
+  <esercizio md5="ada74dfbbd17a75aee6ba5fae31ee33f">ex1-7.xml</esercizio>\r
+  <esercizio md5="1a0d5371bcdbb0cd4afc4af210420363">ex1-5.xml</esercizio>\r
+  <esercizio md5="967f0a419f684f69a20e9d08105cfcbb">em.xml</esercizio>\r
+  <esercizio md5="2248dfc7da30aa1f72aa8cf97bacd1f7">demorgan4.xml</esercizio>\r
+  <esercizio md5="f7daa5d6f6d3740d5eae48ff9b55ccef">ex1-6.xml</esercizio>\r
+  <esercizio md5="53019fa1275f27297c89219bf4c0202d">ex1-1.xml</esercizio>\r
+  <esercizio md5="23321359eab828d8de27cb8eb7c3e0f3">ex1-3.xml</esercizio>\r
+  <esercizio md5="b191cf1e59233795dcdb270a8d2bda80">demorgan3.xml</esercizio>\r
+  <esercizio md5="4e31b527b1c238a6a3f7d5f5e7608894">ex1-2.xml</esercizio>\r
+  <esercizio md5="07e382ab230a1b2e9618e32c71855dab">ex1-4.xml</esercizio>\r
 </esercizi>\r