chiark / gitweb /
traversal: wip Recreate Base Final Declaration
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 23:40:14 +0000 (00:40 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 23:40:14 +0000 (00:40 +0100)
trav-proofs.tex

index b4b483c..06a54cf 100644 (file)
@@ -45,6 +45,16 @@ $L \nothaspatch \pc$. I.e. $L \nothaspatch \pq$. OK.
 
 That's everything for Create Base.  $\qed$
 
+\subsection{Recreate Base Final Declaration}
+
+\subsubsection{Base Only} $\patchof{W} = \patchof{L} = \pn$.  OK.
+
+\subsubsection{Unique Tips}
+
+Want to prove that for any $\p \isin C$, $\tipdy$ is a suitable $T$.
+
+WIP
+
 \subsection{Tip Base Merge}
 
 $L = W$, $R = \tipcn$.