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

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

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

2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw
2012-08-28	Wilmer Ricciotti	progress in uni_step	blob \| commitdiff \| raw \| diff to current
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	blob \| commitdiff \| raw \| diff to current
2012-06-15	Andrea Asperti	middot notation	blob \| commitdiff \| raw \| diff to current
2012-06-12	Andrea Asperti	several changes	blob \| commitdiff \| raw \| diff to current
2012-06-08	Andrea Asperti	A recompiling version	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-28	Andrea Asperti	trans_step.ma	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-22	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-22	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-22	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-21	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	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	Andrea Asperti	init_match	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Added step machine for universal machine.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom