]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Scripts fixed. They were broken since the change to the behaviour of CicMetaSubst...
[helm.git] / helm / software / matita / library /
2008-03-09 Claudio Sacerdoti... Scripts fixed. They were broken since the change to... tree | commitdiff
2008-03-06 Enrico Tassi* please let the library in shape * tree | commitdiff
2008-03-06 Enrico Tassifixed tree | commitdiff
2008-03-06 Enrico Tassifixed deps tree | commitdiff
2008-03-06 Enrico Tassireworked freescale stuff to put \m as a left parameter tree | commitdiff
2008-03-04 Claudio Sacerdoti... New syntax for patterns. tree | commitdiff
2008-03-04 Claudio Sacerdoti... prodT ==> prod tree | commitdiff
2008-03-04 Claudio Sacerdoti... A) New version. tree | commitdiff
2008-02-27 Wilmer Ricciottithe proof of bertrand's conjecture is now complete tree | commitdiff
2008-02-22 Wilmer Ricciottisieve of erathostene (proof of soundness almost done) tree | commitdiff
2008-02-19 Andrea AspertiAdded o.ma (some results about the magnitude of functio... tree | commitdiff
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256. tree | commitdiff
2008-02-14 Andrea AspertiPrima versione di bertrand. Tanti cambiamenti qua e la. tree | commitdiff
2008-02-08 Andrea Aspertiprogress. tree | commitdiff
2008-02-08 Claudio Sacerdoti... A formalization of modified realisability with truth... tree | commitdiff
2008-02-08 Claudio Sacerdoti... prodT merged with prod tree | commitdiff
2008-02-07 Claudio Sacerdoti... ProdT was a perfect copy of Prod. Removed. tree | commitdiff
2008-02-07 Andrea AspertiResults about Chebyshev teta function. tree | commitdiff
2008-02-05 Andrea AspertiSome more theorems. tree | commitdiff
2008-02-05 Wilmer Ricciottilower bound for neper's constant tree | commitdiff
2008-02-04 Andrea AspertiImproved approximations for A and prim. tree | commitdiff
2008-02-04 Andrea AspertiSome improvement. tree | commitdiff
2008-01-31 Wilmer RicciottiSquare root added. tree | commitdiff
2008-01-30 Andrea AspertiImproved approximations tree | commitdiff
2008-01-29 Andrea AspertiNew approximtions. tree | commitdiff
2008-01-22 Wilmer RicciottiBertrand's conjecture (weak), some work in progress tree | commitdiff
2008-01-21 Claudio Sacerdoti... Old tiny freescale experiment get rid of. tree | commitdiff
2008-01-15 Wilmer Ricciottiupdate: upper bound for prim tree | commitdiff
2008-01-14 Wilmer RicciottiChebyshev's upper bound on prim tree | commitdiff
2008-01-11 Enrico Tassiincreased timout tree | commitdiff
2008-01-11 Enrico Tassiincreased a timeout, matitac (not .opt) should be able... tree | commitdiff
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE tree | commitdiff
2007-12-21 Wilmer Ricciottibeginning proof of chebyshev's bound on prim. tree | commitdiff
2007-12-17 Wilmer Ricciottiupper bound for logarithmic summation tree | commitdiff
2007-12-17 Andrea AspertiA few more lemmas. tree | commitdiff
2007-12-13 Andrea AspertiSome inequalities. tree | commitdiff
2007-12-12 Wilmer RicciottiProgress. tree | commitdiff
2007-12-11 Andrea AspertiPartial progress. tree | commitdiff
2007-12-10 Andrea AspertiMain result for e. tree | commitdiff
2007-12-10 Andrea AspertiRestructuring. tree | commitdiff
2007-12-10 Andrea AspertiMain inequalities for e. tree | commitdiff
2007-12-09 Wilmer RicciottiAdded summation formula for the power of a binomial. tree | commitdiff
2007-12-07 Andrea AspertiBinomial coefficients and costant e. tree | commitdiff
2007-12-07 Andrea AspertiA few more theorems. tree | commitdiff
2007-12-03 Andrea AspertiSome progress. tree | commitdiff
2007-11-26 Andrea AspertiAlmost there. tree | commitdiff
2007-11-22 Andrea AspertiBig progress tree | commitdiff
2007-11-19 Andrea AspertiTowards chebyshev. tree | commitdiff
2007-11-15 Enrico Tassiautobatch => [auto] tree | commitdiff
2007-11-12 Ferruccio Guidi- destruct tactic: automatic simplification in case... tree | commitdiff
2007-11-08 Enrico Tassiported to the new destruct tree | commitdiff
2007-11-06 Ferruccio Guidinew implementation of the destruct tactic, tree | commitdiff
2007-10-28 Claudio Sacerdoti... Nil => nil, Cons => cons tree | commitdiff
2007-10-28 Claudio Sacerdoti... Nil => nil; Cons => cons tree | commitdiff
2007-10-28 Claudio Sacerdoti... New syntax for match patterns. tree | commitdiff
2007-10-25 Claudio Sacerdoti... neg => Qneg :-) tree | commitdiff
2007-10-25 Claudio Sacerdoti... true and false were swapped! tree | commitdiff
2007-10-25 Claudio Sacerdoti... flase => false :-) tree | commitdiff
2007-10-16 Claudio Sacerdoti... Interesting. Do we need many more inversion lemmas... tree | commitdiff
2007-10-14 Claudio Sacerdoti... Caseness problems fixed. tree | commitdiff
2007-10-14 Claudio Sacerdoti... Some lemmas moves to the file they belong to. tree | commitdiff
2007-10-14 Cristian ArmentanoTheorem sigma_p_knm changed into generic_iter_p_knm. tree | commitdiff
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta... tree | commitdiff
2007-10-12 Wilmer RicciottiFixed baseuri tree | commitdiff
2007-10-12 Wilmer RicciottiPart1a update... tree | commitdiff
2007-10-12 Andrea AspertiMore restructuring in moebius.ma tree | commitdiff
2007-10-12 Andrea AspertiReorganization of the library. tree | commitdiff
2007-10-12 Andrea AspertiReorganization of the library. tree | commitdiff
2007-10-12 Andrea AspertiReorganization of results. tree | commitdiff
2007-10-08 Andrea AspertiSome axioms for Q. tree | commitdiff
2007-09-24 Wilmer RicciottiLast version of poplmark 1a, featuring new proof, only... tree | commitdiff
2007-09-20 Cristian ArmentanoFurther simplifications to the main theorem about Euler... tree | commitdiff
2007-09-19 Cristian Armentano* Some simplifications to theorem in file totient1.ma. tree | commitdiff
2007-09-18 Cristian Armentanosome theorems have been moved to more appropriate files... tree | commitdiff
2007-09-17 Cristian Armentanotemporary changes, before the complete cancellation... tree | commitdiff
2007-09-17 Cristian Armentanosimplified version of a theorem. tree | commitdiff
2007-09-17 Andrea AspertiSome new lemmas. tree | commitdiff
2007-09-17 Andrea AspertiA new function. tree | commitdiff
2007-09-14 Andrea AspertiQualche semplificazione. tree | commitdiff
2007-09-12 Wilmer RicciottiUpdated, proofs are now about 750 lines. tree | commitdiff
2007-09-11 Cristian Armentanosome theorem names changed. tree | commitdiff
2007-09-10 Cristian Armentanoother simplifications. tree | commitdiff
2007-09-09 Enrico Tassi... tree | commitdiff
2007-09-09 Cristian Armentanoother simplifications. tree | commitdiff
2007-09-08 Enrico Tassi... tree | commitdiff
2007-09-07 Cristian Armentanosome simplifications. tree | commitdiff
2007-09-06 Cristian ArmentanoSome simplifications. tree | commitdiff
2007-08-30 Enrico Tassimore stuff to reach an intensional definition of finite... tree | commitdiff
2007-08-28 Claudio Sacerdoti... * definition of implication free propositional formulas tree | commitdiff
2007-08-16 Cristian Armentanolittle change to theorem eq_gcd_times_times_eqv_times_gcd tree | commitdiff
2007-07-31 Andrea Aspertiremoved generic_sigma_p since generic_iter_p is the... tree | commitdiff
2007-07-31 Enrico Tassisomething was really too slow... tree | commitdiff
2007-07-30 Cristian Armentanorenamed generic_sigma_p.ma to generic_iter_p.ma tree | commitdiff
2007-07-26 Wilmer RicciottiSome notation added tree | commitdiff
2007-07-25 Enrico Tassiadded some notation tree | commitdiff
2007-07-23 Claudio Sacerdoti... Prototype of min_aux changed. tree | commitdiff
2007-07-20 Claudio Sacerdoti... Another nicer version. tree | commitdiff
2007-07-20 Claudio Sacerdoti... Even nicer script. tree | commitdiff
2007-07-20 Claudio Sacerdoti... The nicest script obtained so far. tree | commitdiff
2007-07-20 Claudio Sacerdoti... More simplification due to the new conversion strategy. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.