]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c2f11b) | patch
leftno should be increased of the expnamedsubst, but counting only the uris of vars...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Apr 2008 14:48:14 +0000 (14:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Apr 2008 14:48:14 +0000 (14:48 +0000)
commit15f914ea52e7f3ec2bf00ec740d9a9935559b859
treef8ded1cdb1132518c0882ff8375e6bdb525c58eatree | snapshot
parent9c2f11b475fe7a62a3e7213efeacba2378cdfc96commit | diff
leftno should be increased of the expnamedsubst, but counting only the uris of vars without a body
helm/software/components/ng_kernel/oCic2NCic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.