# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1497017334 -3600
# Node ID abe117821c3282b2aebe4dceb10f7c75dc741a0c
# Parent  675416b1defd00cab935ed6fbf25ea142567d213
updated

diff -r 675416b1defd -r abe117821c32 Journal/Paper.thy
--- 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}
diff -r 675416b1defd -r abe117821c32 journal.pdf
Binary file journal.pdf has changed