From: www-data <www-data@lahar.helm.cs.unibo.it>
Date: Tue, 9 Dec 2014 14:02:50 +0000 (+0100)
Subject: ...
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cd4ceb7c1a58fe23a90b8381973dc57f7bd47dfc;p=logicplayer.git

...
---

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>