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

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

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
2005-11-02	Andrea Asperti	Totient function and related files.	commit \| commitdiff \| tree
2005-10-25	Andrea Asperti	experimental version	commit \| commitdiff \| tree
2005-10-25	Andrea Asperti	readme file	commit \| commitdiff \| tree
2005-10-24	Andrea Asperti	Minor fixings.	commit \| commitdiff \| tree
2005-10-24	Andrea Asperti	Tentative title.	commit \| commitdiff \| tree
2005-10-19	Andrea Asperti	Corrected a mistake in power_upto, and decreased the...	commit \| commitdiff \| tree
2005-10-17	Andrea Asperti	Added basic bibliography.	commit \| commitdiff \| tree
2005-10-11	Andrea Asperti	realizability for the induction principle.	commit \| commitdiff \| tree
2005-10-10	Andrea Asperti	First draft.	commit \| commitdiff \| tree
2005-10-10	Andrea Asperti	Empty directory.	commit \| commitdiff \| tree
2005-10-03	Andrea Asperti	Added congruence.ma.	commit \| commitdiff \| tree
2005-10-03	Andrea Asperti	Several changes. Proof of Fermat's little theorem completed.	commit \| commitdiff \| tree
2005-09-28	Andrea Asperti	New entry: relevant_equations.	commit \| commitdiff \| tree
2005-09-27	Andrea Asperti	small error in nth_prime.	commit \| commitdiff \| tree
2005-09-27	Andrea Asperti	New entry: fermat's little theorem (almost complete).	commit \| commitdiff \| tree
2005-09-26	Andrea Asperti	permutation.ma added to the repository.	commit \| commitdiff \| tree
2005-09-26	Andrea Asperti	Small bug due to case unsensitiveness in the check...	commit \| commitdiff \| tree
2005-09-26	Andrea Asperti	Mysql ==> HMysql	commit \| commitdiff \| tree
2005-09-23	Andrea Asperti	log.ma renamed into ord.ma	commit \| commitdiff \| tree
2005-09-23	Andrea Asperti	A few changes to factorization and gcd.	commit \| commitdiff \| tree
next

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

RSS Atom