]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 842919f) | patch
fized disambiguation of LApply
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Jun 2005 13:12:28 +0000 (13:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Jun 2005 13:12:28 +0000 (13:12 +0000)
commit4c45bc2cd4c610de0ac09c7e0897260fc253b684
tree2acb13076dc235864ff1d2a8c0fc430a6b109519tree | snapshot
parent842919f2f8ee71a5301ad962220569450340a9e9commit | diff
fized disambiguation of LApply
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.