| author | Christian Urban <urbanc@in.tum.de> |
| Fri, 09 Jun 2017 15:08:54 +0100 | |
| changeset 177 | abe117821c32 |
| parent 176 | 675416b1defd |
| child 178 | da27bece9575 |
| Journal/Paper.thy | file | annotate | diff | comparison | revisions | |
| journal.pdf | file | annotate | diff | comparison | revisions |
--- a/Journal/Paper.thy Fri Jun 02 14:36:44 2017 +0100 +++ b/Journal/Paper.thy Fri Jun 09 15:08:54 2017 +0100 @@ -1835,6 +1835,7 @@ \begin{lemma}\label{childrenlem} HERE %@ {text "If"} @ {thm (prem 1) cp_rec} @{text "then"} \begin{center} + @{thm valid_trace.cp_rec}. %@ {thm (concl) cp_rec}. \end{center} \end{lemma}