]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
decentralized notation in lambda
[helm.git] / matita / matita / lib / arithmetics /
2020-03-05 Ferruccio Guidiupdate in standard library tree | commitdiff
2018-03-29 Ferruccio Guididecentralizing core notation tree | commitdiff
2014-03-07 Andrea AspertiMinor changes to make the script more robust to strateg... tree | commitdiff
2014-01-26 Ferruccio Guidinat: we added a non-indexed theorem tree | commitdiff
2014-01-26 Ferruccio Guidi- nat: some additions, plus_minus_commutative renamed... tree | commitdiff
2013-11-26 Ferruccio Guidi- natural numbers with infinity for lambdadelta tree | commitdiff
2013-09-07 Ferruccio Guidisupport for nat-labeled reflexive and transitive closur... tree | commitdiff
2013-08-09 Ferruccio Guidi- we added nat-labeled reflexive and transitive closure... tree | commitdiff
2013-08-01 Ferruccio Guidipartial commit: just the components before "static... tree | commitdiff
2013-06-19 Ferruccio Guidi- partial commit :( tree | commitdiff
2013-05-31 Andrea Aspertiiteration.ma tree | commitdiff
2013-05-31 Andrea Aspertibounded quantifiers and pidgeon_hole tree | commitdiff
2013-04-30 Andrea AspertiNew notation for congruence tree | commitdiff
2013-04-30 Andrea AspertiThis line, and those below, will be ignored-- tree | commitdiff
2013-02-11 Ferruccio Guidimore service lemmas in nat and lambdadelta tree | commitdiff
2013-01-17 Andrea AspertiMoved a list comparison function in the list file tree | commitdiff
2013-01-05 Andrea AspertiPorted permutation.ma and fermat_little_theorem.ma tree | commitdiff
2013-01-03 Andrea Aspertirefactoring tree | commitdiff
2013-01-03 Andrea AspertiRefactoring tree | commitdiff
2013-01-03 Andrea AspertiChebishev ported tree | commitdiff
2012-12-28 Ferruccio Guidixoa: change in naming convenctions for existential... tree | commitdiff
2012-12-25 Ferruccio Guidi- lambda_delta: programmed renaming to lambdadelta tree | commitdiff
2012-12-21 Andrea Aspertibertrand OK. tree | commitdiff
2012-12-20 Ferruccio Guidi- nat.ma: cut removed from f_ind :) tree | commitdiff
2012-12-19 Andrea Aspertibertrand! tree | commitdiff
2012-12-19 Andrea Aspertisqrt.ma tree | commitdiff
2012-12-18 Andrea Aspertiaddenda tree | commitdiff
2012-12-18 Andrea Aspertichanges tree | commitdiff
2012-12-18 Andrea Aspertichebyshev_teta tree | commitdiff
2012-12-17 Andrea AspertiThis line, and those below, will be ignored-- tree | commitdiff
2012-12-17 Andrea Aspertisplitted chebyshev in two parts tree | commitdiff
2012-12-17 Andrea Aspertirestructuring tree | commitdiff
2012-12-17 Andrea Aspertibackup copy rm tree | commitdiff
2012-12-17 Andrea AspertiStill porting chebyshev tree | commitdiff
2012-12-10 Andrea AspertiPorting chebyshev tree | commitdiff
2012-12-10 Andrea AspertiPorting chebyshev tree | commitdiff
2012-12-03 Ferruccio Guidi- nat.ma: we added a general induction principle tree | commitdiff
2012-11-29 Ferruccio Guidi- labelled sequential reduction started ... tree | commitdiff
2012-11-26 Ferruccio Guidiwe started the theory of delifting substitution ... tree | commitdiff
2012-11-07 Ferruccio Guidi- predefined_virtuals: nwe characters tree | commitdiff
2012-06-27 Andrea Aspertiremoved a duplicate tree | commitdiff
2012-05-25 Andrea Aspertia bit faster tree | commitdiff
2012-05-15 Claudio Sacerdoti... Patch by Ferruccio that enables \top/\bot for False... tree | commitdiff
2012-05-15 Ferruccio Guidiwe added the standard notation for True and False ... tree | commitdiff
2012-05-10 Ferruccio Guidi- lib: some additions tree | commitdiff
2012-04-26 Ferruccio Guidi- notation (possibly affecting all .ma files): tree | commitdiff
2012-04-25 Ferruccio Guidi- lambda_delta: bug fix in static type assignment tree | commitdiff
2012-04-21 Ferruccio Guidi- lambda_delta: static type assignment is defined tree | commitdiff
2012-03-23 Ferruccio Guidi- pts: we restored the former hierarchy tree | commitdiff
2012-01-07 Ferruccio Guidilambda_delta: global environments handling: redefined... tree | commitdiff
2011-12-20 Ferruccio Guidi- the definition of the framework for strong normalizat... tree | commitdiff
2011-12-12 Claudio Sacerdoti... Some integrations from CerCo. In particular: tree | commitdiff
2011-12-12 Claudio Sacerdoti... Parentheses are now needed. I do not know why and when... tree | commitdiff
2011-12-12 Ferruccio Guidinat library reorganized .... tree | commitdiff
2011-12-06 Ferruccio Guidiwe added a definition and a couple of lemmas tree | commitdiff
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern; tree | commitdiff
2011-11-18 Claudio Sacerdoti... * Almost ready for release 0.99.1. tree | commitdiff
2011-11-16 Claudio Sacerdoti... Non working parts of the library commented out. tree | commitdiff
2011-10-28 Andrea AspertiSome qed- tree | commitdiff
2011-10-21 Andrea AspertiOptimization. Check removed. tree | commitdiff
2011-06-06 Claudio Sacerdoti... Minor changes because of the new, weaker (but much... tree | commitdiff
2010-12-23 Andrea Aspertiprogress tree | commitdiff
2010-12-16 Andrea AspertiNew version of the library. Several files still do... tree | commitdiff
2010-12-06 Andrea Aspertiexp and factorial tree | commitdiff
2010-12-06 Andrea Aspertisome progress tree | commitdiff
2010-11-22 Andrea AspertiSome arithmetics. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.