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

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

2006-09-05	Enrico Tassi	fixed coercions. composite can't occur if to funclass	commit \| commitdiff \| tree
2006-09-05	Enrico Tassi	fixed includes	commit \| commitdiff \| tree
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	commit \| commitdiff \| tree
2006-09-04	Enrico Tassi	no-indent	commit \| commitdiff \| tree
2006-09-04	Enrico Tassi	removed non XML comment line	commit \| commitdiff \| tree
2006-08-21	Enrico Tassi	...	commit \| commitdiff \| tree
2006-08-21	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-26	Enrico Tassi	order is important	commit \| commitdiff \| tree
2006-07-25	Enrico Tassi	added definition of f_equal1. I think this file should...	commit \| commitdiff \| tree
2006-07-24	Enrico Tassi	added timeout parameter to auto paramodulation.	commit \| commitdiff \| tree
2006-07-24	Enrico Tassi	more work on matitaprover (no more XML and buris are...	commit \| commitdiff \| tree
2006-07-24	Enrico Tassi	more and more tests	commit \| commitdiff \| tree
2006-07-23	Enrico Tassi	more static libs for matitaprover	commit \| commitdiff \| tree
2006-07-23	Enrico Tassi	see BOO025-1 as an example of failure if (mot p) is...	commit \| commitdiff \| tree
2006-07-22	Enrico Tassi	added	commit \| commitdiff \| tree
2006-07-22	Enrico Tassi	matitaprover	commit \| commitdiff \| tree
2006-07-21	Enrico Tassi	eta_fix default to false	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	trans chains even inside letins body	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	removed abstractios for dummy metavariables when generating...	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	reorganization	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	added -dot to generate dot files	commit \| commitdiff \| tree
2006-07-17	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-17	Enrico Tassi	evvai!	commit \| commitdiff \| tree
2006-07-17	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-11	Enrico Tassi	- removed Positive and Negative (all is positive)	commit \| commitdiff \| tree
2006-07-11	Enrico Tassi	fixed	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	- cheanges for the new coercion stuff (including the...	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	renamed the coercion	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	improved coercions support:	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	fixed 1,2: and *: according to the camera ready semantics	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	added flatten_map	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	eq_f1	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	megatheorem (even if unused)	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	fixed *: and n,m:	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-05	Enrico Tassi	bugfix to developments:	commit \| commitdiff \| tree
2006-07-03	Enrico Tassi	/....	commit \| commitdiff \| tree
2006-07-03	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-03	Enrico Tassi	- patch to consider the symbols of the goal when computing...	commit \| commitdiff \| tree
2006-06-30	Enrico Tassi	pretty proofs are back	commit \| commitdiff \| tree
2006-06-30	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-29	Enrico Tassi	...	commit \| commitdiff \| tree
2006-06-29	Enrico Tassi	before goals are inferred with current,	commit \| commitdiff \| tree
2006-06-29	Enrico Tassi	goals after a superposition step are relocated	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	karma: every term the rewrite acts on must be substututed	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fixed gzip usage	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	superposition_left not performed if the input goal...	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	csc trick on steroids	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	new mega spreadsheet available	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	added gzip to log files	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	fixed infer_goal, added simplification before inferring...	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	using the new metadataConstraint function	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	used the new metadataConstraint function to retrieve...	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	fixed equalities_for_goal	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	the old compute_eq_weight is back (no more max)	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	fixed generation of letins	commit \| commitdiff \| tree
2006-06-27	Enrico Tassi	added a metas_of_term implemented using sets instead...	commit \| commitdiff \| tree
2006-06-26	Enrico Tassi	more work for the generic auto parameters	commit \| commitdiff \| tree
2006-06-21	Enrico Tassi	added the geniric	commit \| commitdiff \| tree
2006-06-20	Enrico Tassi	garbage collection of dead equalities implemented	commit \| commitdiff \| tree
2006-06-19	Enrico Tassi	typo cpying the formal semantic	commit \| commitdiff \| tree
2006-06-19	Enrico Tassi	reorganized guiven_clause to work with the on_the_fly...	commit \| commitdiff \| tree
2006-06-19	Enrico Tassi	demodulation of goal activated again.	commit \| commitdiff \| tree
2006-06-19	Enrico Tassi	...	commit \| commitdiff \| tree
2006-06-18	Enrico Tassi	- some fixes regarding URIs of equality that now should...	commit \| commitdiff \| tree
2006-06-18	Enrico Tassi	instead of including library_notation we include logic...	commit \| commitdiff \| tree
2006-06-18	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-16	Enrico Tassi	fixed	commit \| commitdiff \| tree
2006-06-16	Enrico Tassi	fixes	commit \| commitdiff \| tree
2006-06-16	Enrico Tassi	ecco le gatte da pelare	commit \| commitdiff \| tree
2006-06-16	Enrico Tassi	ancient bug solved. if the term is (eq TY A B) the...	commit \| commitdiff \| tree
2006-06-16	Enrico Tassi	some more on equalities	commit \| commitdiff \| tree
2006-06-16	Enrico Tassi	added log.120.orsay.txt and comparison	commit \| commitdiff \| tree
2006-06-14	Enrico Tassi	relocation of developments.png	commit \| commitdiff \| tree
2006-06-14	Enrico Tassi	adding the developments screenshot	commit \| commitdiff \| tree
2006-06-08	Enrico Tassi	developments added	commit \| commitdiff \| tree
2006-06-01	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-01	Enrico Tassi	...	commit \| commitdiff \| tree
2006-06-01	Enrico Tassi	...	commit \| commitdiff \| tree
2006-05-31	Enrico Tassi	\n restored	commit \| commitdiff \| tree
2006-05-31	Enrico Tassi	fixed proofs, contextualization should now work.	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	letin are now sorted properly.	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	fixed proof generation again	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	...	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	A -> Univ	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	canonical and contextualize_rewrites are back, they...	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	the function to create on the fly a symmetry step has...	commit \| commitdiff \| tree
2006-05-30	Enrico Tassi	added our poor results to CASC 2005	commit \| commitdiff \| tree
2006-05-29	Enrico Tassi	added some logs	commit \| commitdiff \| tree
2006-05-29	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-05-29	Enrico Tassi	committed the base utils for TPTP processing	commit \| commitdiff \| tree
2006-05-29	Enrico Tassi	profilings are printed	commit \| commitdiff \| tree
2006-05-29	Enrico Tassi	- proofs by subsumption now add a symmetry step if...	commit \| commitdiff \| tree
2006-05-28	Enrico Tassi	weak equality on meta used when replacing.	commit \| commitdiff \| tree
next

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

RSS Atom