]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/arithmetics
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
λδ site update
[helm.git] / helm / software / matita / nlibrary / arithmetics /
2010-10-17 Enrico Tassifixed many scripts that broke for various reasons tree | commitdiff
2010-09-23 Enrico Tassifix typo tree | commitdiff
2010-05-11 Andrea Aspertiminimization.ma tree | commitdiff
2010-04-14 Claudio Sacerdoti... ... tree | commitdiff
2010-04-14 Claudio Sacerdoti... ... tree | commitdiff
2010-04-14 Claudio Sacerdoti... Formal points. tree | commitdiff
2010-04-14 Claudio Sacerdoti... Some dualization clean-up. tree | commitdiff
2010-03-31 Claudio Sacerdoti... Use the inversion! tree | commitdiff
2010-03-31 Andrea Aspertiremoved boh tree | commitdiff
2010-03-26 Claudio Sacerdoti... Good definition found. tree | commitdiff
2010-03-26 Claudio Sacerdoti... (Co)Inductively Generated Formal Topologies (not only... tree | commitdiff
2010-03-25 Matthias Puechpatched the definition of locate, advances in locate_ad... tree | commitdiff
2010-03-25 Wilmer RicciottiZ.ma updated to reflect changes in the logical Not... tree | commitdiff
2010-03-25 Matthias PuechAutomation problem tree | commitdiff
2010-03-25 Andrea AspertiMore work tree | commitdiff
2010-03-25 Andrea Asperticosi va (se vi pare). tree | commitdiff
2010-03-25 Andrea AspertiConflict(?). tree | commitdiff
2010-03-24 Claudio Sacerdoti... Nice examples for automation (that fails). tree | commitdiff
2010-03-24 Claudio Sacerdoti... Real numbers as co-inductive streams of digits (overlap... tree | commitdiff
2010-03-23 Matthias Puechtypo in a proof tree | commitdiff
2010-03-23 Andrea AspertiRe-proved an axiom tree | commitdiff
2010-03-23 Andrea AspertiMoved compare in a different file. tree | commitdiff
2010-03-18 Andrea AspertiNuova versione di not. tree | commitdiff
2010-03-02 Wilmer RicciottiSome integrations to the ng library. tree | commitdiff
2010-02-19 Andrea Asperti(no commit message) tree | commitdiff
2010-02-16 Andrea AspertiMinor fixings. tree | commitdiff
2010-02-11 Enrico Tassiminimal sequent height set to 1 tree | commitdiff
2010-02-11 Enrico Tassisome experiment filtering with height tree | commitdiff
2010-02-10 Andrea Aspertiaddenda tree | commitdiff
2010-02-02 Andrea Aspertiboolean arithmetics tree | commitdiff
2010-02-01 Andrea Aspertiminus tree | commitdiff
2010-01-29 Andrea Aspertiminus in nat.ma tree | commitdiff
2010-01-27 Andrea Aspertile_arith tree | commitdiff
2010-01-26 Andrea Aspertile_arith tree | commitdiff
2010-01-21 Andrea AspertiEsempio tree | commitdiff
2010-01-18 Andrea AspertiUpdating. tree | commitdiff
2010-01-08 Andrea Aspertirebuilding the library tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.