]> matita.cs.unibo.it Git - logicplayer.git/blob - public_html/esercizi/triviale.xml
new initial commit
[logicplayer.git] / public_html / esercizi / triviale.xml
1 <esercizio>
2         <ipotesi>
3         </ipotesi>
4         <tesi>
5                 <formula type="impl">
6                         <formula type="literal">A</formula>
7                         <formula type="literal">A</formula>
8                 </formula>
9         </tesi>
10         <valutazione>
11                 <click>2</click>
12                 <tempo>10</tempo>
13                 <altezza>2</altezza>
14         </valutazione>
15 </esercizio>