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

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

2012-05-09	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw
2012-05-07	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2012-05-07	Andrea Asperti	Prove di terminazione	blob \| commitdiff \| raw \| diff to current
2012-05-04	Wilmer Ricciotti	Added a turing/universal directory for the universal...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Wilmer Ricciotti	progress in while test machine	blob \| commitdiff \| raw \| diff to current
2012-05-02	Andrea Asperti	split e merge	blob \| commitdiff \| raw \| diff to current
2012-05-02	Wilmer Ricciotti	Added weak realizability.	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
2012-04-30	Wilmer Ricciotti	Monotape turing machines update.	blob \| commitdiff \| raw \| diff to current
2012-04-27	Wilmer Ricciotti	more loop proofs	blob \| commitdiff \| raw \| diff to current
2012-04-27	Wilmer Ricciotti	loop functions	blob \| commitdiff \| raw \| diff to current
2012-04-27	Andrea Asperti	loop functions	blob \| commitdiff \| raw \| diff to current
2012-04-27	Andrea Asperti	Mono tape turing machines	blob \| commitdiff \| raw \| diff to current

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