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

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

2006-03-08	Claudio Sacerdoti...	Reduction trick added to simplify (greatly speeding...	commit \| commitdiff \| tree
2006-03-07	Claudio Sacerdoti...	This simplify seems to diverge!	commit \| commitdiff \| tree
2006-03-07	Claudio Sacerdoti...	First theorems proved on left cosets.	commit \| commitdiff \| tree
2006-02-23	Claudio Sacerdoti...	64 "change" here and there in the library are now simplify...	commit \| commitdiff \| tree
2006-02-23	Claudio Sacerdoti...	During simplify, reduction of the argument of a Fix...	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	simplify used in place of change	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	Bug fixed in simplify: delta expansion of constants...	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	Missing -I ../.. added.	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	First part of bug #152 (unable to exit from Matita...	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	Order of compilation of the modules fixed.	commit \| commitdiff \| tree
2006-02-21	Claudio Sacerdoti...	Coercions are now hidden by default in termAcicContent.ml.	commit \| commitdiff \| tree
2006-02-21	Claudio Sacerdoti...	Coercions are now hidden by default (in termAcicContent.ml)	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	pack_coercion used to avoid packing n-ary coercions...	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Stupid bug fixed.	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Packing of implicit coercions must be also performed...	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Finished one lemma (after many bug fixes here and there).	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Bug fixed: rewrite > t where t had occurrences of metavariab...	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Localization bug fixed.	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Some more implicit coercions here and there.	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Bug fixed in pack_coercions_obj. The context of the...	commit \| commitdiff \| tree
2006-02-18	Claudio Sacerdoti...	Bug fixed: the source and target of declared parametric...	commit \| commitdiff \| tree
2006-02-18	Claudio Sacerdoti...	Trivial bug fixed in the merging of polymorphic coercions.	commit \| commitdiff \| tree
2006-02-18	Claudio Sacerdoti...	Bug fixed in insertion of parametric coercions.	commit \| commitdiff \| tree
2006-02-18	Claudio Sacerdoti...	More refinement errors localized.	commit \| commitdiff \| tree
2006-02-18	Claudio Sacerdoti...	More refinement errors localized.	commit \| commitdiff \| tree
2006-02-18	Claudio Sacerdoti...	Bug fixed: the wrong exception was enriched, breaking...	commit \| commitdiff \| tree
2006-02-09	Claudio Sacerdoti...	Recapitalization of sect_tactics.xml	commit \| commitdiff \| tree
2006-02-09	Claudio Sacerdoti...	Some fixes in the documentation of the tactics.	commit \| commitdiff \| tree
2006-02-09	Claudio Sacerdoti...	A few intros_spec were missing here and there.	commit \| commitdiff \| tree
2006-02-09	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree
2006-02-09	Claudio Sacerdoti...	Most of the tactics are now documented.	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Even more tactics documented.	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	New tactics (badly) documented.	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Nicer index for tactics in Yelp.	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Strange fix (for a yelp bug?)	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	From article to book	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	More tactics documented.	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Several more tactics documented.	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Never implemented tactics compare and decide equality...	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Help for the first two tactics.	commit \| commitdiff \| tree
2006-02-07	Claudio Sacerdoti...	Added a few basic definitions of subgroups and left...	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	Basic facts about group morphisms.	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	first sketch of the documentation (to be used by yelp)	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	* groups splitted into groups and finite_groups	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	removed a Pcre capture that being _NON TAIL RECURSIVE_...	commit \| commitdiff \| tree
2006-02-03	Claudio Sacerdoti...	First proof on groups completed!	commit \| commitdiff \| tree
2006-02-03	Claudio Sacerdoti...	svn:ignore updated	commit \| commitdiff \| tree
2006-02-02	Claudio Sacerdoti...	Some more work...	commit \| commitdiff \| tree
2006-02-02	Claudio Sacerdoti...	No longer valid comment removed.	commit \| commitdiff \| tree
2006-02-01	Claudio Sacerdoti...	Closer to the proof of the pigeonhole principle......	commit \| commitdiff \| tree
2006-02-01	Claudio Sacerdoti...	Bug fixed in generalization: the goals opened by lazy...	commit \| commitdiff \| tree
2006-02-01	Claudio Sacerdoti...	Abstract and conclusions.	commit \| commitdiff \| tree
2006-01-31	Claudio Sacerdoti...	Pigeonhole proof restructured.	commit \| commitdiff \| tree
2006-01-31	Claudio Sacerdoti...	Some more work on the proof of the pigeonhole principle.	commit \| commitdiff \| tree
2006-01-31	Claudio Sacerdoti...	Bug fixed in generalize: a status was generated with...	commit \| commitdiff \| tree
2006-01-31	Claudio Sacerdoti...	community review, solved a couple of TODO	commit \| commitdiff \| tree
2006-01-31	Claudio Sacerdoti...	Bug fixed: metasenv used in place of metasenv' during...	commit \| commitdiff \| tree
2006-01-31	Claudio Sacerdoti...	A new TODO.	commit \| commitdiff \| tree
2006-01-30	Claudio Sacerdoti...	Some more progress in the proof of the (ad-hoc ?) pigeonhole...	commit \| commitdiff \| tree
2006-01-30	Claudio Sacerdoti...	Un TODO rimosso.	commit \| commitdiff \| tree
2006-01-30	Claudio Sacerdoti...	System section "completed".	commit \| commitdiff \| tree
2006-01-30	Claudio Sacerdoti...	Rewriting steps using the rewriting principles in the...	commit \| commitdiff \| tree
2006-01-27	Claudio Sacerdoti...	1. The last commit that fixed unification of compound...	commit \| commitdiff \| tree
2006-01-27	Claudio Sacerdoti...	A few paramodulation/demodulation tests moved from...	commit \| commitdiff \| tree
2006-01-27	Claudio Sacerdoti...	Big bug fixed: attributes of constants were forgot...	commit \| commitdiff \| tree
2006-01-27	Claudio Sacerdoti...	Cambiamenti nella parte sulla disambiguazione.	commit \| commitdiff \| tree
2006-01-26	Claudio Sacerdoti...	A failing unification of a coercion vs a term is now...	commit \| commitdiff \| tree
2006-01-25	Claudio Sacerdoti...	New formulation of finite_enumerable_SemiGroups to...	commit \| commitdiff \| tree
2006-01-25	Claudio Sacerdoti...	First part of a slightly more interesting proof on...	commit \| commitdiff \| tree
2006-01-25	Claudio Sacerdoti...	6hands-introduction to the last two sections	commit \| commitdiff \| tree
2006-01-23	Claudio Sacerdoti...	right and left cancellation in groups	commit \| commitdiff \| tree
2006-01-23	Claudio Sacerdoti...	Cenni alla disambiguazione lazy.	commit \| commitdiff \| tree
2006-01-20	Claudio Sacerdoti...	Yet another strategy for let...ins: a let-in is _NEVER_...	commit \| commitdiff \| tree
2006-01-19	Claudio Sacerdoti...	New reduction strategy (that behaves much better during...	commit \| commitdiff \| tree
2006-01-19	Claudio Sacerdoti...	1. Back to nicer (and more comprehensible) notation...	commit \| commitdiff \| tree
2006-01-19	Claudio Sacerdoti...	"Hiding" notation for implicit coercion. Cool.	commit \| commitdiff \| tree
2006-01-19	Claudio Sacerdoti...	A few experiments (with horrible results) using notation...	commit \| commitdiff \| tree
2006-01-18	Claudio Sacerdoti...	Aggiornato alla nuova gerarchia di moduli.	commit \| commitdiff \| tree
2006-01-18	Claudio Sacerdoti...	library ==> component	commit \| commitdiff \| tree
2006-01-18	Claudio Sacerdoti...	paramodulation is no longer a self-alone module	commit \| commitdiff \| tree
2006-01-18	Claudio Sacerdoti...	baseuri of coq.ma fixed	commit \| commitdiff \| tree
2006-01-18	Claudio Sacerdoti...	libraries.ps no longer in synch.	commit \| commitdiff \| tree
2006-01-18	Claudio Sacerdoti...	New dependencies!	commit \| commitdiff \| tree
2006-01-17	Claudio Sacerdoti...	Bug fixed (in Cast).	commit \| commitdiff \| tree
2006-01-17	Claudio Sacerdoti...	An embryonic kernel of the algebraic library.	commit \| commitdiff \| tree
2006-01-17	Claudio Sacerdoti...	subst_vars optimized for the explicit_named_subst=...	commit \| commitdiff \| tree
2006-01-16	Claudio Sacerdoti...	Dead code removed and reindentation.	commit \| commitdiff \| tree
2006-01-16	Claudio Sacerdoti...	(Partial commit)	commit \| commitdiff \| tree
2006-01-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2006-01-16	Claudio Sacerdoti...	Bug fixed: the wrong context was used.	commit \| commitdiff \| tree
2006-01-16	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2006-01-13	Claudio Sacerdoti...	More informative error message.	commit \| commitdiff \| tree
2006-01-12	Claudio Sacerdoti...	ignore used to avoid Y warning	commit \| commitdiff \| tree
2006-01-12	Claudio Sacerdoti...	Dependency coq.moo.opt added to target tests.opt	commit \| commitdiff \| tree
2006-01-12	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2006-01-12	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2006-01-11	Claudio Sacerdoti...	svn now uses $SVNOPTIONS;	commit \| commitdiff \| tree
2006-01-11	Claudio Sacerdoti...	New table bench_svn to keep the map "mark"==>"revision"	commit \| commitdiff \| tree
2006-01-11	Claudio Sacerdoti...	Hand-made generated inversion lemma.	commit \| commitdiff \| tree
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
next

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

RSS Atom