]> 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
- pointer structure simplified
[helm.git] / matita / matita / lib / arithmetics /
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.