matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/inject.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/inject.ma

2016-11-24	Ferruccio Guidi	lexer updated with the new reference syntax +	blob \| commitdiff \| raw
2013-02-07	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2013-01-29	Wilmer Ricciotti	Proved old axiom.	blob \| commitdiff \| raw \| diff to current
2013-01-08	Andrea Asperti	more porting to machines that can move without writing	blob \| commitdiff \| raw \| diff to current
2013-01-08	Wilmer Ricciotti	porting to machine that can move without writing	blob \| commitdiff \| raw \| diff to current
2012-11-16	Wilmer Ricciotti	Match machine (multi)	blob \| commitdiff \| raw \| diff to current
2012-11-13	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2012-11-13	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2012-11-13	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2012-11-12	Andrea Asperti	inject.ma	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.