#
# ChangeLog for src/ASM/StatusProofs.ma
#
# Generated by Trac 1.2
# Mar 9, 2021, 11:53:45 AM

Tue, 21 Jun 2011 00:02:37 GMT sacerdot [1014]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/StatusProofs.ma (added)

	The main theorem is completely broken (again).