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

[helm.git] / matita / matita / lib / turing / mono.ma

2013-10-24	Andrea Asperti	many changes	blob \| commitdiff \| raw
2013-10-15	Andrea Asperti	added sem_seq_app for the mono case	blob \| commitdiff \| raw \| diff to current
2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	blob \| commitdiff \| raw \| diff to current
2013-04-30	Claudio Sacerdoti...	Missing include.	blob \| commitdiff \| raw \| diff to current
2013-02-07	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2013-01-20	Andrea Asperti	semantics of unistep	blob \| commitdiff \| raw \| diff to current
2013-01-08	Wilmer Ricciotti	porting to machine that can move without writing	blob \| commitdiff \| raw \| diff to current
2012-12-21	Andrea Asperti	Many changes	blob \| commitdiff \| raw \| diff to current
2012-08-27	Wilmer Ricciotti	End of copy.ma	blob \| commitdiff \| raw \| diff to current
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	blob \| commitdiff \| raw \| diff to current
2012-08-07	Andrea Asperti	guarded realizability	blob \| commitdiff \| raw \| diff to current
2012-06-27	Andrea Asperti	Closed all axioms in turing (but not universal).	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-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-06-04	Andrea Asperti	notation	blob \| commitdiff \| raw \| diff to current
2012-06-04	Andrea Asperti	comments	blob \| commitdiff \| raw \| diff to current
2012-05-28	Andrea Asperti	porting of move_char_c	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-09	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom