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

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

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
2005-09-14	Andrea Asperti	Product, pair and projections.	commit \| commitdiff \| tree
2005-09-14	Andrea Asperti	factorization.ma	commit \| commitdiff \| tree
2005-09-14	Andrea Asperti	New version of the library. nth_prime, gcd, log.	commit \| commitdiff \| tree
2005-08-22	Andrea Asperti	Added datatypes/constructors.ma	commit \| commitdiff \| tree
2005-08-22	Andrea Asperti	New entries in nat: factorial.ma minimization.ma primes...	commit \| commitdiff \| tree
2005-08-22	Andrea Asperti	Added Z/plus.ma e Z/compare.ma.	commit \| commitdiff \| tree
2005-08-22	Andrea Asperti	The library grows...	commit \| commitdiff \| tree
2005-08-22	Andrea Asperti	Added q.ma.	commit \| commitdiff \| tree
2005-07-28	Andrea Asperti	removed orders_op from library (now in le_arith and...	commit \| commitdiff \| tree
2005-07-22	Andrea Asperti	An object should be removed from disk (i.e. from the...	commit \| commitdiff \| tree
2005-07-22	Andrea Asperti	CicEnvironment.remove did not remove the object from...	commit \| commitdiff \| tree
2005-07-22	Andrea Asperti	Removed debugging print.	commit \| commitdiff \| tree
2005-07-20	Andrea Asperti	Assert false removed (although conceptually correct).	commit \| commitdiff \| tree
2005-07-19	Andrea Asperti	freshNamesGenerator moved into cic_proof_checking.	commit \| commitdiff \| tree
2005-07-19	Andrea Asperti	Moved freshNameGenerator inside cic_proof_checking...	commit \| commitdiff \| tree
2005-07-19	Andrea Asperti	New naming policy for local variables.	commit \| commitdiff \| tree
2005-07-15	Andrea Asperti	Added a new contrib div_and_mod and few modifs here...	commit \| commitdiff \| tree
2005-07-15	Andrea Asperti	Bad name should be an error and not just a warning.	commit \| commitdiff \| tree
2005-07-15	Andrea Asperti	New version of name checking.	commit \| commitdiff \| tree
2005-07-13	Andrea Asperti	New version of the library.	commit \| commitdiff \| tree
2005-07-12	Andrea Asperti	Added a function equations_for_goal similar to signature_of_...	commit \| commitdiff \| tree
2005-07-11	Andrea Asperti	aliases are now compared not only looking at the domain_item...	commit \| commitdiff \| tree
2005-07-11	Andrea Asperti	only regular files are ending in .ma are now searched	commit \| commitdiff \| tree
2005-07-11	Andrea Asperti	New version of the library, a bit more structured.	commit \| commitdiff \| tree
2005-07-11	Andrea Asperti	Removed the old library.	commit \| commitdiff \| tree
2005-07-07	Andrea Asperti	Check function for Matita name convention.	commit \| commitdiff \| tree
2005-07-07	Andrea Asperti	Raising an error on a bad theorem name.	commit \| commitdiff \| tree
2005-06-23	Andrea Asperti	Added Z, Zplus and its properties.	commit \| commitdiff \| tree
2005-06-16	Andrea Asperti	A cleaned version of auto_tac_new.	commit \| commitdiff \| tree
2005-06-09	Andrea Asperti	Updated to the new syntax for match.	commit \| commitdiff \| tree
2005-06-07	Andrea Asperti	My two pennies.	commit \| commitdiff \| tree
2005-05-31	Andrea Asperti	added colors	commit \| commitdiff \| tree
2005-05-31	Andrea Asperti	more verbose case failure message	commit \| commitdiff \| tree
2005-05-31	Andrea Asperti	added chronometer	commit \| commitdiff \| tree
2005-05-31	Andrea Asperti	added automathic aliases for _ind _rec and _rect when...	commit \| commitdiff \| tree
2005-05-31	Andrea Asperti	fix	commit \| commitdiff \| tree
2005-05-30	Andrea Asperti	fix	commit \| commitdiff \| tree
2005-05-30	Andrea Asperti	added intros n	commit \| commitdiff \| tree
2005-05-30	Andrea Asperti	added intros n.	commit \| commitdiff \| tree
2005-05-30	Andrea Asperti	added automathic aliases.	commit \| commitdiff \| tree
2005-05-27	Andrea Asperti	1. removed obsolete comments	commit \| commitdiff \| tree
2005-05-24	Andrea Asperti	fix	commit \| commitdiff \| tree
2005-05-24	Andrea Asperti	Added a new tactic elim_intros (without simpl of the...	commit \| commitdiff \| tree
2005-05-24	Andrea Asperti	elim -> elim_intros (no simpl)	commit \| commitdiff \| tree
2005-05-23	Andrea Asperti	Added andrea.ma	commit \| commitdiff \| tree
2005-05-20	Andrea Asperti	When we unify a Prod against a term t2 which is not...	commit \| commitdiff \| tree
2005-05-20	Andrea Asperti	Added a whd on ty in new_metasenv for apply, in order...	commit \| commitdiff \| tree
2005-05-20	Andrea Asperti	Hint repaired (an erroneous commit by myself).	commit \| commitdiff \| tree
2005-05-05	Andrea Asperti	test_instance.ma	commit \| commitdiff \| tree
2005-05-05	Andrea Asperti	Some modifications due to instance.	commit \| commitdiff \| tree
2005-05-03	Andrea Asperti	First version of instance.	commit \| commitdiff \| tree
2004-12-07	Andrea Asperti	symmetry of equality NOT used in auto	commit \| commitdiff \| tree
2004-12-06	Andrea Asperti	New version of auto with "width".	commit \| commitdiff \| tree
2004-11-30	Andrea Asperti	Bug in the management of substitutions into auto corrected.	commit \| commitdiff \| tree
2004-11-09	Andrea Asperti	Aggiunta l'introduzione alla prima sezione:.	commit \| commitdiff \| tree
2004-11-08	Andrea Asperti	First draft (introduction).	commit \| commitdiff \| tree
2004-11-04	Andrea Asperti	Auto moved to a new file autoTactic.ml	commit \| commitdiff \| tree
2004-11-04	Andrea Asperti	New version(s) of hint. One more stable (hint) and...	commit \| commitdiff \| tree
2004-11-04	Andrea Asperti	Added a new boolean parameter "facts" (default=false...	commit \| commitdiff \| tree
2004-11-04	Andrea Asperti	Porting to the new version of auto.	commit \| commitdiff \| tree
2004-10-27	Andrea Asperti	Bug fixing.	commit \| commitdiff \| tree
2004-10-22	Andrea Asperti	implemented elim query	commit \| commitdiff \| tree
2004-10-22	Andrea Asperti	bugfix: handle overflow in powerset cardinality	commit \| commitdiff \| tree
2004-10-22	Andrea Asperti	- added (hack) apply_tac_verbose (for auto)	commit \| commitdiff \| tree
2004-10-22	Andrea Asperti	ported to typed explicit subst	commit \| commitdiff \| tree
2004-10-22	Andrea Asperti	be more quiet (removed debugging prints)	commit \| commitdiff \| tree
2004-10-22	Andrea Asperti	ported to typed explicit subst	commit \| commitdiff \| tree
next

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

RSS Atom