]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a4ee6d) | patch
commented out things that DO NOT compile
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 25 Nov 2007 14:22:16 +0000 (14:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 25 Nov 2007 14:22:16 +0000 (14:22 +0000)
commitc52605b5b949f2ceafbe788c8f7bf7e74dc89b5c
tree0826530b98eaf92d9b3cde0e44eac7237acc8a2ctree | snapshot
parent2a4ee6db10333354003f6e3cd342298a82799ad4commit | diff
commented out things that DO NOT compile
matita/library/nat/chebyshev.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.