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

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

2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	blob \| commitdiff \| raw
2012-12-21	Andrea Asperti	Many changes	blob \| commitdiff \| raw \| diff to current
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	blob \| commitdiff \| raw \| diff to current
2012-06-06	Andrea Asperti	Restructuring	blob \| commitdiff \| raw \| diff to current
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	blob \| commitdiff \| raw \| diff to current
2012-06-05	Andrea Asperti	Completed all proofs in if_machine	blob \| commitdiff \| raw \| diff to current
2012-06-04	Andrea Asperti	semantics of the if-machine.	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-14	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2012-05-10	Andrea Asperti	axiomatization of acc_if	blob \| commitdiff \| raw \| diff to current
2012-05-09	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-04-30	Wilmer Ricciotti	More proofs in if-then-else machine.	blob \| commitdiff \| raw \| diff to current
2012-04-30	Andrea Asperti	Le configurazioni sono definite non su macchine ma...	blob \| commitdiff \| raw \| diff to current
2012-04-30	Andrea Asperti	Definition of accRealize	blob \| commitdiff \| raw \| diff to current
2012-04-30	Andrea Asperti	If machine	blob \| commitdiff \| raw \| diff to current

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