]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e83cd27) | patch
beginning of minimalist foundation from a student of Milly
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Jan 2018 19:20:09 +0000 (20:20 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Jan 2018 19:20:09 +0000 (20:20 +0100)
commitb3aa03ebf904d8c7290aa44b4ce80bf3f976fb2e
tree6c06258c32da80861f899ccbde587cbcc0998dd0tree | snapshot
parente83cd27fc0694c34baf35c8b80d32317e51be707commit | diff
beginning of minimalist foundation from a student of Milly
14 files changed:
matita/matita/contribs/mf/de.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/empty.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/interface.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/list.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/mTT.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/model.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/notations.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/pisigma.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/pisigma2.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/plus.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/power.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/power_one.ma [new file with mode: 0644] blob
matita/matita/contribs/mf/root [new file with mode: 0644] blob
matita/matita/contribs/mf/singleton.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.