matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/ground/arith/nat_pred

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/ground/arith/nat_pred_succ.ma

2022-12-08	Ferruccio Guidi	update in ground	blob \| commitdiff \| raw
2021-11-30	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	blob \| commitdiff \| raw \| diff to current
2021-10-11	Ferruccio Guidi	partial update in static_2	blob \| commitdiff \| raw \| diff to current
2021-03-15	Ferruccio Guidi	propagating the arithmetics library, partial commit	blob \| commitdiff \| raw \| diff to current
2021-02-27	Ferruccio Guidi	update in ground	blob \| commitdiff \| raw \| diff to current
2021-02-15	Ferruccio Guidi	milestone update in ground, partial commit	blob \| commitdiff \| raw \| diff to current
2021-01-14	Ferruccio Guidi	arithmetics for λδ	blob \| commitdiff \| raw \| diff to current
2021-01-08	Ferruccio Guidi	arithmetics for λδ	blob \| commitdiff \| raw \| diff to current
2021-01-04	Ferruccio Guidi	arithmetics for λδ	blob \| commitdiff \| raw \| diff to current
2020-12-28	Ferruccio Guidi	arithmetics for λδ	blob \| commitdiff \| raw \| diff to current
2020-12-22	Ferruccio Guidi	arithmetics for λδ	blob \| commitdiff \| raw \| diff to current

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