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

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

2012-05-24	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw
2012-05-23	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-23	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-21	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-21	Andrea Asperti	New version of init copy	blob \| commitdiff \| raw \| diff to current
2012-05-18	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-18	Andrea Asperti	init_copy init_match	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Added null character.	blob \| commitdiff \| raw \| diff to current
2012-05-16	Andrea Asperti	a bit more	blob \| commitdiff \| raw \| diff to current
2012-05-15	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-15	Andrea Asperti	sempre li	blob \| commitdiff \| raw \| diff to current
2012-05-14	Wilmer Ricciotti	Added copy machine (mockup)	blob \| commitdiff \| raw \| diff to current
2012-05-14	Andrea Asperti	progresprogresss	blob \| commitdiff \| raw \| diff to current
2012-05-14	Andrea Asperti	almost there	blob \| commitdiff \| raw \| diff to current
2012-05-14	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2012-05-11	Wilmer Ricciotti	Definition of the structure of the transition table...	blob \| commitdiff \| raw \| diff to current
2012-05-11	Andrea Asperti	poca roba	blob \| commitdiff \| raw \| diff to current
2012-05-11	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current

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