]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67dd022) | patch
Very incomplete example of simple calculus exercises in Matita.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Nov 2007 16:16:58 +0000 (16:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Nov 2007 16:16:58 +0000 (16:16 +0000)
commitfd4d7813792de2cd5999d444c14f7cd72e2f3ce9
tree94fa021336d8d2e29527e79917334d1142924467tree | snapshot
parent67dd0221d391163e84402c4d61b76bb71fbab587commit | diff
Very incomplete example of simple calculus exercises in Matita.
helm/software/matita/dama_didactic/bottom.ma [new file with mode: 0644] blob
helm/software/matita/dama_didactic/deriv.ma [new file with mode: 0644] blob
helm/software/matita/dama_didactic/ex_deriv.ma [new file with mode: 0644] blob
helm/software/matita/dama_didactic/ex_seq.ma [new file with mode: 0644] blob
helm/software/matita/dama_didactic/makefile [new file with mode: 0644] blob
helm/software/matita/dama_didactic/reals.ma [new file with mode: 0644] blob
helm/software/matita/dama_didactic/sequences.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.