Context Navigation

AssemblyProofSplit.ma

	Rev	Age	Author	Log Message
(edit)	@1969	9 years	sacerdot	Some more progress, but now we must prove something on a Russell …
(edit)	@1967	9 years	sacerdot	Mov case completed.
(edit)	@1966	9 years	mulligan	Progress made on main_thm proof: trying to find a pattern to use …
(edit)	@1963	9 years	sacerdot	More progress in restoring the original proof.
(edit)	@1958	9 years	mulligan	Marked divergence in StatusProofs?.ma
(add)	@1952	9 years	sacerdot	AssemblyProof? splitted.

Note: See TracRevisionLog for help on using the revision log.