]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65f34cf) | patch
added automathic aliases for _ind _rec and _rect when generated
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 31 May 2005 09:40:36 +0000 (09:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 31 May 2005 09:40:36 +0000 (09:40 +0000)
commita6abe3d3a62c87634b838bb3578dfe5a1c94b9c2
treec896add7d0185392af883b6a51f9523d2c1f40f0tree | snapshot
parent65f34cf91a06b727d5387d92e70c875d15c88fd7commit | diff
added automathic aliases for _ind _rec and _rect when generated
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.