]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f233a52) | patch
implemented inductive and less parentheses
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 08:16:23 +0000 (08:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 08:16:23 +0000 (08:16 +0000)
commit34b3404a33922e9c4b8f25c7b14dadd260990de3
tree6c47243ce696c41ee7a37165bed25d9d20ae1d2ctree | snapshot
parentf233a527ff4233ae9dc948550b0b5adef16696e0commit | diff
implemented inductive and less parentheses
helm/software/components/ng_kernel/nCicPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.