matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2013-01-18	Andrea Asperti	high level semantics	commit \| commitdiff \| tree
2013-01-18	Andrea Asperti	semantics of uni_step	commit \| commitdiff \| tree
2013-01-17	Andrea Asperti	Moved a list comparison function in the list file	commit \| commitdiff \| tree
2013-01-17	Andrea Asperti	normal and tuples	commit \| commitdiff \| tree
2013-01-15	Andrea Asperti	copy finished	commit \| commitdiff \| tree
2013-01-15	Andrea Asperti	copy.ma	commit \| commitdiff \| tree
2013-01-14	Andrea Asperti	Closed some daemons	commit \| commitdiff \| tree
2013-01-14	Andrea Asperti	nth_current_chars	commit \| commitdiff \| tree
2013-01-08	Andrea Asperti	more porting to machines that can move without writing	commit \| commitdiff \| tree
2013-01-05	Andrea Asperti	Ported permutation.ma and fermat_little_theorem.ma	commit \| commitdiff \| tree
2013-01-03	Andrea Asperti	refactoring	commit \| commitdiff \| tree
2013-01-03	Andrea Asperti	Refactoring	commit \| commitdiff \| tree
2013-01-03	Andrea Asperti	Chebishev ported	commit \| commitdiff \| tree
2012-12-21	Andrea Asperti	Many changes	commit \| commitdiff \| tree
2012-12-21	Andrea Asperti	mem/append lemmas	commit \| commitdiff \| tree
2012-12-21	Andrea Asperti	bertrand OK.	commit \| commitdiff \| tree
2012-12-19	Andrea Asperti	bertrand!	commit \| commitdiff \| tree
2012-12-19	Andrea Asperti	sqrt.ma	commit \| commitdiff \| tree
2012-12-18	Andrea Asperti	addenda	commit \| commitdiff \| tree
2012-12-18	Andrea Asperti	changes	commit \| commitdiff \| tree
2012-12-18	Andrea Asperti	chebyshev_teta	commit \| commitdiff \| tree
2012-12-17	Andrea Asperti	This line, and those below, will be ignored--	commit \| commitdiff \| tree
2012-12-17	Andrea Asperti	splitted chebyshev in two parts	commit \| commitdiff \| tree
2012-12-17	Andrea Asperti	restructuring	commit \| commitdiff \| tree
2012-12-17	Andrea Asperti	backup copy rm	commit \| commitdiff \| tree
2012-12-17	Andrea Asperti	Still porting chebyshev	commit \| commitdiff \| tree
2012-12-10	Andrea Asperti	Porting chebyshev	commit \| commitdiff \| tree
2012-12-10	Andrea Asperti	Porting chebyshev	commit \| commitdiff \| tree
2012-11-27	Andrea Asperti	par_test.ma	commit \| commitdiff \| tree
2012-11-27	Andrea Asperti	ennesima versione	commit \| commitdiff \| tree
2012-11-27	Andrea Asperti	splitting files	commit \| commitdiff \| tree
2012-11-27	Andrea Asperti	splitting files	commit \| commitdiff \| tree
2012-11-26	Andrea Asperti	working on match	commit \| commitdiff \| tree
2012-11-23	Andrea Asperti	work in progress	commit \| commitdiff \| tree
2012-11-23	Andrea Asperti	Restoring and fixing the old version	commit \| commitdiff \| tree
2012-11-21	Andrea Asperti	compare con terminatore	commit \| commitdiff \| tree
2012-11-21	Andrea Asperti	match	commit \| commitdiff \| tree
2012-11-20	Andrea Asperti	compare	commit \| commitdiff \| tree
2012-11-13	Andrea Asperti	progress	commit \| commitdiff \| tree
2012-11-13	Andrea Asperti	basic lemmas	commit \| commitdiff \| tree
2012-11-12	Andrea Asperti	addenda	commit \| commitdiff \| tree
2012-11-12	Andrea Asperti	inject.ma	commit \| commitdiff \| tree
2012-11-10	Andrea Asperti	while_multi.ma	commit \| commitdiff \| tree
2012-11-09	Andrea Asperti	if_multi.ma	commit \| commitdiff \| tree
2012-11-09	Andrea Asperti	done	commit \| commitdiff \| tree
2012-11-07	Andrea Asperti	New multi tapes machines	commit \| commitdiff \| tree
2012-08-08	Andrea Asperti	porting to termination	commit \| commitdiff \| tree
2012-08-07	Andrea Asperti	guarded realizability	commit \| commitdiff \| tree
2012-08-03	Andrea Asperti	A compiling version (not complete).	commit \| commitdiff \| tree
2012-07-31	Andrea Asperti	work in progress	commit \| commitdiff \| tree
2012-07-31	Andrea Asperti	Termination!	commit \| commitdiff \| tree
2012-07-30	Andrea Asperti	work in progress	commit \| commitdiff \| tree
2012-07-27	Andrea Asperti	work in progress	commit \| commitdiff \| tree
2012-07-21	Andrea Asperti	An executable version of the tutorial.	commit \| commitdiff \| tree
2012-07-19	Andrea Asperti	Few changes	commit \| commitdiff \| tree
2012-07-19	Andrea Asperti	adding tutorial	commit \| commitdiff \| tree
2012-07-17	Andrea Asperti	porting to termination	commit \| commitdiff \| tree
2012-06-28	Andrea Asperti	New spec. for advance_both_marks	commit \| commitdiff \| tree
2012-06-28	Andrea Asperti	working on termination	commit \| commitdiff \| tree
2012-06-27	Andrea Asperti	removed a duplicate	commit \| commitdiff \| tree
2012-06-27	Andrea Asperti	Closed all axioms in turing (but not universal).	commit \| commitdiff \| tree
2012-06-18	Andrea Asperti	adv_to_mark_l	commit \| commitdiff \| tree
2012-06-18	Andrea Asperti	closing a few axioms	commit \| commitdiff \| tree
2012-06-15	Andrea Asperti	middot notation	commit \| commitdiff \| tree
2012-06-12	Andrea Asperti	adding match_machines and removing trans_to_tuples	commit \| commitdiff \| tree
2012-06-12	Andrea Asperti	several changes	commit \| commitdiff \| tree
2012-06-08	Andrea Asperti	move_char.ma	commit \| commitdiff \| tree
2012-06-08	Andrea Asperti	merging of char_move_c and char_move_l	commit \| commitdiff \| tree
2012-06-08	Andrea Asperti	A recompiling version	commit \| commitdiff \| tree
2012-06-08	Andrea Asperti	Dropping a coercion and some hints due to conflicts...	commit \| commitdiff \| tree
2012-06-08	Andrea Asperti	Modifications and refactoring	commit \| commitdiff \| tree
2012-06-06	Andrea Asperti	new version of move_char_l suign swap	commit \| commitdiff \| tree
2012-06-06	Andrea Asperti	swap machine; move_char revisited	commit \| commitdiff \| tree
2012-06-06	Andrea Asperti	restructuring	commit \| commitdiff \| tree
2012-06-06	Andrea Asperti	Restructuring	commit \| commitdiff \| tree
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	commit \| commitdiff \| tree
2012-06-05	Andrea Asperti	Completed all proofs in if_machine	commit \| commitdiff \| tree
2012-06-04	Andrea Asperti	semantics of the if-machine.	commit \| commitdiff \| tree
2012-06-04	Andrea Asperti	notation	commit \| commitdiff \| tree
2012-06-04	Andrea Asperti	comments	commit \| commitdiff \| tree
2012-06-01	Andrea Asperti	Ci siamo quasi	commit \| commitdiff \| tree
2012-05-30	Andrea Asperti	some progress	commit \| commitdiff \| tree
2012-05-29	Andrea Asperti	The universal machine!!!	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	trans_step.ma	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	porting move_tape.ma	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	porting move_char_l.ma	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	porting of move_char_c	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	more typos	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	typos	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	graph of a function	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	FinOpt	commit \| commitdiff \| tree
2012-05-28	Andrea Asperti	mem, split	commit \| commitdiff \| tree
2012-05-25	Andrea Asperti	Porting to the new defintion of finset	commit \| commitdiff \| tree
2012-05-25	Andrea Asperti	New definition of finset.	commit \| commitdiff \| tree
2012-05-25	Andrea Asperti	a bit faster	commit \| commitdiff \| tree
2012-05-21	Andrea Asperti	New version of init copy	commit \| commitdiff \| tree
2012-05-18	Andrea Asperti	init_copy init_match	commit \| commitdiff \| tree
2012-05-17	Andrea Asperti	init_match	commit \| commitdiff \| tree
2012-05-17	Andrea Asperti	filtering on a list without repetitions	commit \| commitdiff \| tree
2012-05-16	Andrea Asperti	New implementation of lpo (the previous one was sometimes...	commit \| commitdiff \| tree
next

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

RSS Atom