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

Rename \merge to \mergeof so we can have \merge

provide \nge and \nle (which \not uses)

wip anticommit desired contents

formatting fix

fix title etc. in merge use of no replay

wip anticommit

improve "no replay for merge results" (correct conditions, remove some duplicate stuff in proof

provide \base and \patch

No Replay for Merge Results

wip anticommit; use \merge

define \merge and add it to notation section

wip experiment merge

wip anticommit

finish merge unique base (we think)

wip merge

wip merge

heading for other side

fix a typo

a possible bug

increase \errorcontextlines

add some missing { } around macro args