From cd4ceb7c1a58fe23a90b8381973dc57f7bd47dfc Mon Sep 17 00:00:00 2001
From: www-data <www-data@lahar.helm.cs.unibo.it>
Date: Tue, 9 Dec 2014 15:02:50 +0100
Subject: [PATCH] ...

---
 public_html/esercizi/risolvibile.xml | 35 ----------------------------
 public_html/esercizi/test.xml        | 12 ----------
 public_html/esercizi/triviale.xml    | 15 ------------
 3 files changed, 62 deletions(-)
 delete mode 100644 public_html/esercizi/risolvibile.xml
 delete mode 100644 public_html/esercizi/test.xml
 delete mode 100644 public_html/esercizi/triviale.xml

diff --git a/public_html/esercizi/risolvibile.xml b/public_html/esercizi/risolvibile.xml
deleted file mode 100644
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
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
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>
-- 
2.39.2