]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07fa5c7) | patch
ex_ind treated similarly to exT_ind.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Jan 2001 15:06:33 +0000 (15:06 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Jan 2001 15:06:33 +0000 (15:06 +0000)
commit579125fc2d6b5573f287c6901c8c4f7265a1e2e5
tree9ec16430c8dd050647da153c0356fc6f8a1ba770tree | snapshot
parent07fa5c704b876f1e84af3013de37a9fa269c1d86commit | diff
ex_ind treated similarly to exT_ind.
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.