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

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

2006-07-24	Andrea Asperti	Bug fixed: a symbol alias Symb(s,0) now subsumes the...	commit \| commitdiff \| tree
2006-07-24	Andrea Asperti	A compiling version of the library.	commit \| commitdiff \| tree
2006-07-14	Andrea Asperti	Added the computation of max_weight.	commit \| commitdiff \| tree
2006-07-14	Andrea Asperti	Added the computation of max_weight for equations in...	commit \| commitdiff \| tree
2006-06-29	Andrea Asperti	Cleaning up; removed a couple of "open".	commit \| commitdiff \| tree
2006-06-19	Andrea Asperti	some experiments	commit \| commitdiff \| tree
2006-06-19	Andrea Asperti	added (but still unused) remove_local_context	commit \| commitdiff \| tree
2006-06-19	Andrea Asperti	added (but not yet used) remove_local_context	commit \| commitdiff \| tree
2006-06-19	Andrea Asperti	Utils.compare_terms instead of compare_weights	commit \| commitdiff \| tree
2006-06-19	Andrea Asperti	occur_check and unification fixed. now Meta(i,[]) and...	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	some examples of the new ApplyS tactic	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	examples of applyS	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	Apply-Silvie tactic added!	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	added applyS	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	some fixed done in Orsay:	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	exported 2 functions needed by applyS	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	...	commit \| commitdiff \| tree
2006-06-15	Andrea Asperti	default constants are now the matita standard library...	commit \| commitdiff \| tree
2006-06-09	Andrea Asperti	Notation for congruent.	commit \| commitdiff \| tree
2006-06-01	Andrea Asperti	Subsumption_subst must be applied to the initial proof...	commit \| commitdiff \| tree
2006-05-26	Andrea Asperti	1) variables occurring only in proofs anre not relocated	commit \| commitdiff \| tree
2006-05-26	Andrea Asperti	Bug fixed: the syntax "?n" used to be broken. It tried...	commit \| commitdiff \| tree
2006-05-23	Andrea Asperti	added important comment	commit \| commitdiff \| tree
2006-05-23	Andrea Asperti	fixed LetIn proofs	commit \| commitdiff \| tree
2006-05-23	Andrea Asperti	added stuff for profiling macros	commit \| commitdiff \| tree
2006-05-05	Andrea Asperti	New version of deep_subsumption	commit \| commitdiff \| tree
2006-04-27	Andrea Asperti	Equality chains.	commit \| commitdiff \| tree
2006-04-27	Andrea Asperti	Added is_trans_eq_URI and is_sym_eq_URI	commit \| commitdiff \| tree
2006-04-26	Andrea Asperti	Build_proof_goal does not return the metasenv any more.	commit \| commitdiff \| tree
2006-04-26	Andrea Asperti	fixed demodulation_goal (used to return always false)	commit \| commitdiff \| tree
2006-04-26	Andrea Asperti	removed ocaml equality on equations	commit \| commitdiff \| tree
2006-04-10	Andrea Asperti	Removed negative equations.	commit \| commitdiff \| tree
2006-04-04	Andrea Asperti	Naif substitution. Removed local context in metas during...	commit \| commitdiff \| tree
2006-03-27	Andrea Asperti	args removed from equalities.	commit \| commitdiff \| tree
2006-03-24	Andrea Asperti	New unification and new matching.	commit \| commitdiff \| tree
2006-03-23	Andrea Asperti	Best parameter setting for de morgan.	commit \| commitdiff \| tree
2006-03-22	Andrea Asperti	:	commit \| commitdiff \| tree
2006-03-21	Andrea Asperti	Changed the type of compute-equality_weight that now...	commit \| commitdiff \| tree
2006-03-20	Andrea Asperti	Renamed SK.ma into bool.ma	commit \| commitdiff \| tree
2006-03-20	Andrea Asperti	Esempi di auto.	commit \| commitdiff \| tree
2006-03-20	Andrea Asperti	Snapshot.	commit \| commitdiff \| tree
2006-02-06	Andrea Asperti	termine bacato.	commit \| commitdiff \| tree
2006-02-06	Andrea Asperti	fixed usage of matita.auto_disambiguation	commit \| commitdiff \| tree
2006-02-06	Andrea Asperti	Bug?	commit \| commitdiff \| tree
2006-02-03	Andrea Asperti	Added abstract.	commit \| commitdiff \| tree
2006-02-03	Andrea Asperti	snapshot	commit \| commitdiff \| tree
2006-02-03	Andrea Asperti	Modified lambda and explicit substitutions.	commit \| commitdiff \| tree
2006-02-01	Andrea Asperti	Snapshot	commit \| commitdiff \| tree
2006-02-01	Andrea Asperti	Snapshot	commit \| commitdiff \| tree
2006-01-31	Andrea Asperti	fixed	commit \| commitdiff \| tree
2006-01-31	Andrea Asperti	fixed ocamldep command line	commit \| commitdiff \| tree
2006-01-31	Andrea Asperti	Added a new section on automation	commit \| commitdiff \| tree
2006-01-30	Andrea Asperti	Typos	commit \| commitdiff \| tree
2006-01-30	Andrea Asperti	Draft of section Indexing and searching.	commit \| commitdiff \| tree
2006-01-30	Andrea Asperti	Added whelp to the repository.	commit \| commitdiff \| tree
2006-01-25	Andrea Asperti	bugfix: demodulate_tac is in module Saturation	commit \| commitdiff \| tree
2006-01-25	Andrea Asperti	Code restructuring.	commit \| commitdiff \| tree
2006-01-25	Andrea Asperti	Added some examples for auto/paramodulation/demodulation.	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	restructuring	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	Improved rendering of conjectures	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	Added header to all files.	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	Added header	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	looks fine to me	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	new version	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	(no commit message)	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	Matita header	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	font -1	commit \| commitdiff \| tree
2006-01-20	Andrea Asperti	Updated version	commit \| commitdiff \| tree
2006-01-19	Andrea Asperti	Some work...	commit \| commitdiff \| tree
2006-01-16	Andrea Asperti	Added recursive path ordering and demodulation tactic.	commit \| commitdiff \| tree
2006-01-12	Andrea Asperti	Removed calls to paramodulation.saturation.init	commit \| commitdiff \| tree
2006-01-12	Andrea Asperti	Moved paramodulation inside tactics.	commit \| commitdiff \| tree
2006-01-09	Andrea Asperti	Old compare-terms function	commit \| commitdiff \| tree
2006-01-09	Andrea Asperti	removed debugging printing	commit \| commitdiff \| tree
2006-01-09	Andrea Asperti	ignoring the result of load_notation	commit \| commitdiff \| tree
2006-01-09	Andrea Asperti	Added a parameter (empty list) to load_notation.	commit \| commitdiff \| tree
2006-01-09	Andrea Asperti	New version of compare_weights.	commit \| commitdiff \| tree
2005-12-19	Andrea Asperti	moved term indexing (in both discrimination and path...	commit \| commitdiff \| tree
2005-12-19	Andrea Asperti	Discrimination and trie removed.	commit \| commitdiff \| tree
2005-12-19	Andrea Asperti	added discrimination tree	commit \| commitdiff \| tree
2005-12-19	Andrea Asperti	moved trie data-structure	commit \| commitdiff \| tree
2005-12-06	Andrea Asperti	Typos.	commit \| commitdiff \| tree
2005-12-06	Andrea Asperti	Minor changes.	commit \| commitdiff \| tree
2005-12-06	Andrea Asperti	Naming convention.	commit \| commitdiff \| tree
2005-12-05	Andrea Asperti	Minor changes.	commit \| commitdiff \| tree
2005-12-05	Andrea Asperti	Added a new section on the logical library.	commit \| commitdiff \| tree
2005-11-29	Andrea Asperti	Added a few bibliographic entries.	commit \| commitdiff \| tree
2005-11-14	Andrea Asperti	Introduction, again.:	commit \| commitdiff \| tree
2005-11-14	Andrea Asperti	Introduction (partial).	commit \| commitdiff \| tree
2005-11-14	Andrea Asperti	Introduction.	commit \| commitdiff \| tree
2005-11-11	Andrea Asperti	Definition of system T.	commit \| commitdiff \| tree
2005-11-10	Andrea Asperti	Several changes.	commit \| commitdiff \| tree
2005-11-10	Andrea Asperti	A couple more of references.	commit \| commitdiff \| tree
2005-11-10	Andrea Asperti	typos	commit \| commitdiff \| tree
2005-11-10	Andrea Asperti	Headings of the matita paper.	commit \| commitdiff \| tree
2005-11-10	Andrea Asperti	Extended bibliography.	commit \| commitdiff \| tree
2005-11-09	Andrea Asperti	Added an example (well founded recursion).	commit \| commitdiff \| tree
2005-11-08	Andrea Asperti	Typos.	commit \| commitdiff \| tree
2005-11-07	Andrea Asperti	First draft of the introduction.	commit \| commitdiff \| tree
2005-11-03	Andrea Asperti	Euler totient function is multiplicative!	commit \| commitdiff \| tree
next

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

RSS Atom