X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=0651f65ec6cdb2224b864010bd8a5025953cbee2;hb=50e2ee8fb7fd4a2a14bf60779e1c709b220c6072;hp=a3f2a15078cdeed3588e53b6485dce568f5c28ac;hpb=22344b1810548a3a75e0a7f36d23e8f8117ff633;p=helm.git diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index a3f2a1507..0651f65ec 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -1,8 +1,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -10,221 +34,572 @@ xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:helm="http://www.cs.unibo.it/helm"> - - - - -http://localhost:8081/get?url= - - + - - - - - - - - - - - thread - - - rw_step - - - - - - - - - - - and_ind - - - - - - - - - - - or_ind - - - - - - - - - thread - - - app - - - - - - - - proof - - - - - - - - - - - - - - - - + + + - + + + + + - - prev + + + proof + + + - - - - - - - - rw_step - - - - - - - - - - - - - - - thread - - - app - - - - - - - - - + + + + + + + proof + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - rewrite_and_apply - - rw_step - - + + + + + + + + + rw_step + + + + + + + + + + + + + + + + rewrite_and_apply + + rw_step + + + + + + + + + + + + - - - - - - - - + + + letin + + let - + + + - - + + + + + + + + rewrite_and_apply + + rw_step + + + + + + + + + + + + + + + + + + + - + + letin + + + + + + rewrite_and_apply + + rw_step + + + + + + + + + + + + + + + - + + + + + + + false_ind + cic:/Coq/Init/Logic/False_ind.con + + + + + + + and_ind + + + + + + + + + - - - - + + + + full_or_ind + + + + left_case + + + + + + + + + + + + right_case + + + + + + + + + + + - + + or_ind + + + + + - - - - - + + + + + ex_ind + + + + + + + + + + + + + + + letin + + let + + + + + + + + + + + + + + + + + + + rw_step + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + letin1 + + + + app + + + + + + - app - + letin + + + + + app + + + + + + + + + app + + + + + + + - + + + + + + + + let + + + + + + + + + + + + + . + + + + - + + + + previous + + + + + + + + + . + + + + + + + + + + + + + + + + + + + + + + + + + + + . + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - -