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

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

2014-03-07	Andrea Asperti	Minor changes to make the script more robust to strategy...	commit \| commitdiff \| tree
2014-01-28	Andrea Asperti	Almost there	commit \| commitdiff \| tree
2014-01-28	Andrea Asperti	progress	commit \| commitdiff \| tree
2014-01-27	Andrea Asperti	working version	commit \| commitdiff \| tree
2014-01-26	Andrea Asperti	more auxiliary machines	commit \| commitdiff \| tree
2013-12-04	Andrea Asperti	New approach: we use "iterator" steps in place of pointers.	commit \| commitdiff \| tree
2013-11-29	Andrea Asperti	A first example that uses a status monad where the...	commit \| commitdiff \| tree
2013-10-28	Andrea Asperti	Splitted star	commit \| commitdiff \| tree
2013-10-25	Andrea Asperti	full.ma	commit \| commitdiff \| tree
2013-10-24	Andrea Asperti	step (almost) done	commit \| commitdiff \| tree
2013-10-24	Andrea Asperti	The step machine (draft)	commit \| commitdiff \| tree
2013-10-24	Andrea Asperti	many changes	commit \| commitdiff \| tree
2013-10-19	Andrea Asperti	Slowly porting to an enriched tape alphabet	commit \| commitdiff \| tree
2013-10-18	Andrea Asperti	The moves (almost)	commit \| commitdiff \| tree
2013-10-15	Andrea Asperti	added sem_seq_app for the mono case	commit \| commitdiff \| tree
2013-10-15	Andrea Asperti	renaming files	commit \| commitdiff \| tree
2013-10-14	Andrea Asperti	almost there	commit \| commitdiff \| tree
2013-10-12	Andrea Asperti	Still a problem to be fixed: after reaching the border...	commit \| commitdiff \| tree
2013-10-12	Andrea Asperti	shift a trace from an extremity	commit \| commitdiff \| tree
2013-10-12	Andrea Asperti	splitting files	commit \| commitdiff \| tree
2013-10-12	Andrea Asperti	Moved multi_to_mono.ma inside multi_to_mono	commit \| commitdiff \| tree
2013-10-12	Andrea Asperti	Added a new directory for multi to mono	commit \| commitdiff \| tree
2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	commit \| commitdiff \| tree
2013-10-02	Andrea Asperti	a vector of finsets is a finset (in progress)	commit \| commitdiff \| tree
2013-05-31	Andrea Asperti	iteration.ma	commit \| commitdiff \| tree
2013-05-31	Andrea Asperti	bounded quantifiers and pidgeon_hole	commit \| commitdiff \| tree
2013-05-31	Andrea Asperti	gap.ma	commit \| commitdiff \| tree
2013-05-28	Andrea Asperti	Error to debug	commit \| commitdiff \| tree
2013-05-17	Andrea Asperti	Improved version	commit \| commitdiff \| tree
2013-05-17	Andrea Asperti	more functions	commit \| commitdiff \| tree
2013-05-03	Andrea Asperti	reverse complexity	commit \| commitdiff \| tree
2013-04-30	Andrea Asperti	chapter9	commit \| commitdiff \| tree
2013-04-30	Andrea Asperti	tutorial	commit \| commitdiff \| tree
2013-04-30	Andrea Asperti	New notation for congruence	commit \| commitdiff \| tree
2013-04-30	Andrea Asperti	This line, and those below, will be ignored--	commit \| commitdiff \| tree
2013-04-29	Andrea Asperti	A few integrations (closed an axiom in finset).	commit \| commitdiff \| tree
2013-03-11	Andrea Asperti	Chpater 4 and 5	commit \| commitdiff \| tree
2013-03-10	Andrea Asperti	chapters 2 e 3	commit \| commitdiff \| tree
2013-02-28	Andrea Asperti	chapter2 revisited	commit \| commitdiff \| tree
2013-02-27	Andrea Asperti	Chapter 1 revisited	commit \| commitdiff \| tree
2013-02-07	Andrea Asperti	A few integrations	commit \| commitdiff \| tree
2013-02-07	Andrea Asperti	restructuring	commit \| commitdiff \| tree
2013-02-07	Andrea Asperti	(no commit message)	commit \| commitdiff \| tree
2013-02-07	Andrea Asperti	restructuring	commit \| commitdiff \| tree
2013-01-28	Andrea Asperti	unistep!!!	commit \| commitdiff \| tree
2013-01-28	Andrea Asperti	funzioni ausiliarie	commit \| commitdiff \| tree
2013-01-27	Andrea Asperti	quasi finito	commit \| commitdiff \| tree
2013-01-27	Andrea Asperti	sem_exec_move completed	commit \| commitdiff \| tree
2013-01-27	Andrea Asperti	almost there	commit \| commitdiff \| tree
2013-01-26	Andrea Asperti	A lot of changes	commit \| commitdiff \| tree
2013-01-25	Andrea Asperti	Splitted unistep_aux	commit \| commitdiff \| tree
2013-01-22	Andrea Asperti	termination!	commit \| commitdiff \| tree
2013-01-22	Andrea Asperti	Universal machine	commit \| commitdiff \| tree
2013-01-21	Andrea Asperti	universal	commit \| commitdiff \| tree
2013-01-20	Andrea Asperti	semantics of unistep	commit \| commitdiff \| tree
2013-01-18	Andrea Asperti	copy char form obj to cfg at the end	commit \| commitdiff \| tree
2013-01-18	Andrea Asperti	high level semantics	commit \| commitdiff \| tree
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
next

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

RSS Atom