]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86a8649) | patch
refactoring
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 3 Jan 2013 16:49:01 +0000 (16:49 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 3 Jan 2013 16:49:01 +0000 (16:49 +0000)
commitfd12cbee622c58bc45089d62c3e6f131c238beb5
tree1db6044b1b8c3859c09aedc72bbae3d9f8cd99f6tree | snapshot
parent86a8649e0ce63e0860f0feac9833a72c876e5a18commit | diff
refactoring
matita/matita/lib/arithmetics/chebyshev/bertrand256.ma diff | blob | history
matita/matita/lib/arithmetics/chebyshev/chebyshev.ma [deleted file] blob | history
matita/matita/lib/arithmetics/chebyshev/chebyshev_teta.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.