]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/src/com/company/esercizi.xml
Shuffling.
[logicplayer.git] / server / tesi / src / com / company / esercizi.xml
diff --git a/server/tesi/src/com/company/esercizi.xml b/server/tesi/src/com/company/esercizi.xml
new file mode 100644 (file)
index 0000000..c28cd97
--- /dev/null
@@ -0,0 +1,10 @@
+<?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
+</esercizi>\r