...

diff --git a/public_html/esercizi/risolvibile.xml b/public_html/esercizi/risolvibile.xml
deleted file mode 100644 (file)
index ee115e9..0000000
--- a/public_html/esercizi/risolvibile.xml
+++ /dev/null
@@ -1,35 +0,0 @@
-<esercizio>
-       <ipotesi>
-               <formula type="impl">
-                       <formula type="and">
-                               <formula type="literal">A</formula>
-                               <formula type="not">
-                                       <formula type="literal">B</formula>
-                               </formula>                      
-                       </formula>
-                       <formula type="literal">R</formula>
-               </formula>
-               <formula type="impl">
-                       <formula type="or">
-                               <formula type="literal">A</formula>
-                               <formula type="literal">B</formula>                     
-                       </formula>
-                       <formula type="not">            
-                               <formula type="literal">R</formula>
-                       </formula>
-               </formula>
-               <formula type="not">
-                       <formula type="not">    
-                               <formula type="literal">A</formula>
-                       </formula>
-               </formula>
-       </ipotesi>
-       <tesi>
-               <formula type="literal">B</formula>
-       </tesi>
-       <valutazione>
-               <click>13</click>
-               <tempo>60</tempo>
-               <altezza>5</altezza>
-       </valutazione>
-</esercizio>

diff --git a/public_html/esercizi/test.xml b/public_html/esercizi/test.xml
deleted file mode 100644 (file)
index 7985a27..0000000
--- a/public_html/esercizi/test.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<esercizio>
-       <ipotesi>
-       </ipotesi>
-       <tesi>
-               <formula type="atomic">top</formula>
-       </tesi>
-       <valutazione>
-               <click>1</click>
-               <tempo>5</tempo>
-               <altezza>1</altezza>
-       </valutazione>
-</esercizio>

diff --git a/public_html/esercizi/triviale.xml b/public_html/esercizi/triviale.xml
deleted file mode 100644 (file)
index b7fb3dc..0000000
--- a/public_html/esercizi/triviale.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<esercizio>
-       <ipotesi>
-       </ipotesi>
-       <tesi>
-               <formula type="impl">
-                       <formula type="literal">A</formula>
-                       <formula type="literal">A</formula>
-               </formula>
-       </tesi>
-       <valutazione>
-               <click>2</click>
-               <tempo>10</tempo>
-               <altezza>2</altezza>
-       </valutazione>
-</esercizio>