formatting: a couple of extra [ ]

formatting: section headings on lh pages too

in simple commit rename parent from A to L

add purported proof of calculation of ends

fix calculation of ends formula

assert that exact ancestors is trivial

proof of alternative merge formulation

remove trailing ws

create tip

simple commit foreign inclusion use simple foreign inclusion

introduce and use Totally Foreign Contents

wip create tip

add missing []

improve proof of create base inclusion

create tip wip

introduce macros \pq \pqy \pqn

create base rename cond to create acyclic

create base fix base acyclic and condition

wip create tip

todo list item

use Q not B as patch name in create base

rename Ingredients Prohibit Replay to Prevent

replace various no replay with Ingredients Prohibit Replay

rename merge Ordering of L... to Ordering of Ingredients

create base foreign contents

change Not Applicable [] to Not Applicable

create base foreign inclusion

wip create base

create base coherence fix title

create base fix def

prove and use totally foreign contents

fix some headings

formalise foreign merges

Foreign Contents section in a couple of places

new foreign contents restriction

fix a section => subsection

fix create tip tbd

wip create base

merge conditions into conditions

anticommit clarify note re ingredient order

anticommit conditions into conditions

wip creates

formatting move/add some qeds

simple commit unique base clarification

annotation calculation

fix up some lemmas re ends

a todo item

anticommit foreign inclusion

a todo item

wip anticommit foreign inclusion

merge reference to no replay fix ref to be more regular

anticommit make note re merge base vs merge rhs ordering

anticommit - split out ordering

merge coherence use two implies in statement since equiv cannot represent haspatch and nothaspatch

anticommit coherence

anticommit rename From Base to Into Base

anticommit base acyclic

strengthen anticommit condition to From Base

merge foreign inclusion

move alternative formulation of merge results into lemmas

Prove that plain git merges on non-tb branches are ok

Mention that simple commit justification applies to tb export too

clarify text re non-tb flattened re-inclusion

merge wip

merge tip contents done

merge tip contentss: clarify arbitrariness of D

capitalise a few names

merge remove redundant element in condition

wip merge tip contents

some alternative formulations of \merge

add definition of \nequiv.  \not\equiv still does not work for some reason

wip merge tip contents

wip merge tip contents

wip merge tip contents

wip merge tip contents

wip merge tip contents

merge base acyclic (and condition)

clarify P sets none overlap

wip merge tip contents

rename exclusive tip contents corollary

merge complex done

wip merge complex - reformulate merge ends conditions

merge ends condition - change condition to one that is equivalent but looks stronger and is easier to compute

wip merge complex - final case?

wip merge complex - fix bug, improve merge ends condition

wip merge complex - a bug

wip merge complex

improve merge ends formatting

wip merge complex - C = D

wip merge complex - a fix

wip merge complex

wip merge complex

use \p rather than just P

wip merge complex

move merge X and Y def up

tiny clarification

introduce \proofstarts

wip merge content

add some xxx's

anticommit desired contents