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

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

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
2012-05-16	Andrea Asperti	a bit more	commit \| commitdiff \| tree
2012-05-15	Andrea Asperti	sempre li	commit \| commitdiff \| tree
2012-05-14	Andrea Asperti	progresprogresss	commit \| commitdiff \| tree
2012-05-14	Andrea Asperti	almost there	commit \| commitdiff \| tree
2012-05-14	Andrea Asperti	progress	commit \| commitdiff \| tree
2012-05-11	Andrea Asperti	poca roba	commit \| commitdiff \| tree
2012-05-11	Andrea Asperti	restructuring	commit \| commitdiff \| tree
2012-05-11	Andrea Asperti	progress	commit \| commitdiff \| tree
2012-05-10	Andrea Asperti	axiomatization of acc_if	commit \| commitdiff \| tree
2012-05-07	Andrea Asperti	Prove di terminazione	commit \| commitdiff \| tree
2012-05-07	Andrea Asperti	More examples	commit \| commitdiff \| tree
2012-05-07	Andrea Asperti	starl	commit \| commitdiff \| tree
2012-05-03	Andrea Asperti	prod fin set	commit \| commitdiff \| tree
2012-05-03	Andrea Asperti	bool and segments of natural numbers	commit \| commitdiff \| tree
2012-05-02	Andrea Asperti	split e merge	commit \| commitdiff \| tree
2012-05-02	Andrea Asperti	progress	commit \| commitdiff \| tree
2012-05-02	Andrea Asperti	while machine	commit \| commitdiff \| tree
2012-05-02	Andrea Asperti	Added wmono.	commit \| commitdiff \| tree
2012-04-30	Andrea Asperti	Le configurazioni sono definite non su macchine ma...	commit \| commitdiff \| tree
2012-04-30	Andrea Asperti	Definition of accRealize	commit \| commitdiff \| tree
2012-04-30	Andrea Asperti	If machine	commit \| commitdiff \| tree
2012-04-27	Andrea Asperti	loop functions	commit \| commitdiff \| tree
2012-04-27	Andrea Asperti	Mono tape turing machines	commit \| commitdiff \| tree
2012-04-27	Andrea Asperti	Extensions to finset (sum) and auxiliary lemmas.	commit \| commitdiff \| tree
2012-04-13	Andrea Asperti	Definition of complexity	commit \| commitdiff \| tree
2012-04-04	Andrea Asperti	Added in basics	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	Minor changes	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	modifiche	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	Versione italiana	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	New home	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	Top picture	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	prova	commit \| commitdiff \| tree
2012-04-03	Andrea Asperti	Created a new directory for Matita1.0	commit \| commitdiff \| tree
2012-03-08	Andrea Asperti	Axiom proved	commit \| commitdiff \| tree
2012-01-10	Andrea Asperti	A complete snapshot for re	commit \| commitdiff \| tree
2012-01-03	Andrea Asperti	Complete version	commit \| commitdiff \| tree
2012-01-03	Andrea Asperti	modified definition of memb	commit \| commitdiff \| tree
2012-01-03	Andrea Asperti	reverse	commit \| commitdiff \| tree
2012-01-03	Andrea Asperti	more properties of union	commit \| commitdiff \| tree
2012-01-03	Andrea Asperti	noteq_to_eqnot	commit \| commitdiff \| tree
2011-12-16	Andrea Asperti	In case paramodulation fails we apply unit equalities.	commit \| commitdiff \| tree
2011-12-15	Andrea Asperti	Splitted DeqSets in their own file. Notation for memb...	commit \| commitdiff \| tree
2011-12-15	Andrea Asperti	Hints sui DeqSets	commit \| commitdiff \| tree
2011-12-13	Andrea Asperti	Splitted re into lang.ma nd re.ma	commit \| commitdiff \| tree
2011-12-13	Andrea Asperti	Sig in Prop	commit \| commitdiff \| tree
2011-12-12	Andrea Asperti	Generalization to any alphabet. We do not need a finite	commit \| commitdiff \| tree
2011-12-09	Andrea Asperti	list.ma moved inside lists.	commit \| commitdiff \| tree
2011-12-09	Andrea Asperti	closing more axioms	commit \| commitdiff \| tree
2011-12-07	Andrea Asperti	Closing some axioms...	commit \| commitdiff \| tree
2011-12-07	Andrea Asperti	\vee notation for boolean or	commit \| commitdiff \| tree
2011-12-06	Andrea Asperti	Listb contains some boolean functions over lists.	commit \| commitdiff \| tree
2011-12-06	Andrea Asperti	naive sets (A-> Prop)	commit \| commitdiff \| tree
2011-12-05	Andrea Asperti	More properties of iff	commit \| commitdiff \| tree
2011-12-05	Andrea Asperti	Decidability of equality (draft)	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	regular expressions	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	Filtering all equations that cannot be embedded (containing...	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	Passing the correct subst a metasenv when idexing local...	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	Passing the right subst and metasenv when indexing...	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	Added a test for paramodulation filtering terms with...	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	More debugging info	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	Assert false removed (in line with the variable case).	commit \| commitdiff \| tree
2011-11-21	Andrea Asperti	Typo in comment	commit \| commitdiff \| tree
2011-11-16	Andrea Asperti	inversion replaced by elim (???)	commit \| commitdiff \| tree
2011-11-15	Andrea Asperti	non-facts local candidates must be applied too in presence of	commit \| commitdiff \| tree
2011-11-15	Andrea Asperti	non-facts local candidates must be applied too in presence of	commit \| commitdiff \| tree
2011-11-14	Andrea Asperti	Assert false is no longer true due to tooflex filtering.	commit \| commitdiff \| tree
2011-11-14	Andrea Asperti	Too flexible terms are pruned.	commit \| commitdiff \| tree
2011-11-07	Andrea Asperti	Removed some dead code.	commit \| commitdiff \| tree
2011-11-07	Andrea Asperti	New management of justifications.	commit \| commitdiff \| tree
2011-11-03	Andrea Asperti	1. we compare the expected branching with the actual...	commit \| commitdiff \| tree
2011-11-03	Andrea Asperti	At top level, we reindex the local equations for each...	commit \| commitdiff \| tree
2011-11-02	Andrea Asperti	The proof of append_cons used transitive_eq, not indexed.	commit \| commitdiff \| tree
2011-11-02	Andrea Asperti	Disabled printings.	commit \| commitdiff \| tree
2011-11-02	Andrea Asperti	--Tre the expected branching with the actual one and	commit \| commitdiff \| tree
2011-10-28	Andrea Asperti	New management of resulting subst in deep_eq: used...	commit \| commitdiff \| tree
next

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

RSS Atom