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

[helm.git] / matita / matita / lib / turing / universal / tuples.ma

2012-06-18	Andrea Asperti	closing a few axioms	blob \| commitdiff \| raw
2012-06-12	Andrea Asperti	several changes	blob \| commitdiff \| raw \| diff to current
2012-06-08	Andrea Asperti	Modifications and refactoring	blob \| commitdiff \| raw \| diff to current
2012-06-06	Andrea Asperti	Restructuring	blob \| commitdiff \| raw \| diff to current
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	blob \| commitdiff \| raw \| diff to current
2012-05-31	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-30	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-30	Andrea Asperti	some progress	blob \| commitdiff \| raw \| diff to current
2012-05-30	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-30	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-28	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-25	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-25	Andrea Asperti	Porting to the new defintion of finset	blob \| commitdiff \| raw \| diff to current
2012-05-24	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-24	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom