ej1

template/templateTP.tex

@@ -37,6 +37,8 @@
 \begin{problema}{especialidad}{a: Atleta}{Deporte}
 	\asegura{result \in deportes(a)}
 	\asegura{capacidad(a,result)==maximoLista(listarCapacidades(a))}
+	\aux{listarCapacidades}{a:Atleta}{[\ent]}{[capacidad(a,x) | x \leftarrow deportes(a) ]}
+	\aux{maximoLista}{ls:[\ent]}{\ent}{[x|x\leftarrow ls, (\forall y \leftarrow ls) x \geq y][0]}
 \end{problema}
 
 \begin{problema}{entrenarNuevoDeporte}{a: Atleta, d: Deporte, c: \ent}{}