Context Navigation

StatusProofs.ma

	Rev	Age	Author	Log Message
(edit)	@2124	7 years	sacerdot	Much more shuffling around to proper places
(edit)	@2032	8 years	sacerdot	!! BEWARE: major commit !! 1) [affects everybody] split for …
(edit)	@1962	8 years	sacerdot	More examples are now indexed.
(edit)	@1959	8 years	mulligan	Commented out diverging application of demodulation and closed goals …
(edit)	@1958	8 years	mulligan	Marked divergence in StatusProofs?.ma
(edit)	@1710	8 years	mulligan	changes from friday afternoon
(edit)	@1666	8 years	sacerdot	PreStatus? datatype change: the code_memory field is not a left …
(edit)	@1606	8 years	sacerdot	Porting to last library of Matita.
(edit)	@1530	8 years	campbell	Update due to Russell changes.
(edit)	@1519	8 years	campbell	More syntax updates.
(edit)	@1515	8 years	campbell	Add type of maps on positive binary numbers, and use them for …
(add)	@1014	8 years	sacerdot	The main theorem is completely broken (again).

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