]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1633244) | patch
added set_ppterm
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 08:20:29 +0000 (08:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 08:20:29 +0000 (08:20 +0000)
commit00676a80c190c829a85be5545a7cafe16384098f
tree89bb29e3002057fa1630d55545e48d864e0c2957tree | snapshot
parent1633244fde7c007e23041b700da9d643596877e3commit | diff
added set_ppterm
helm/software/components/ng_kernel/nCicPp.ml diff | blob | history
helm/software/components/ng_kernel/nCicPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.