]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f987aa) | patch
ExT_ind implemented.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Jan 2001 11:17:25 +0000 (11:17 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Jan 2001 11:17:25 +0000 (11:17 +0000)
commit07fa5c704b876f1e84af3013de37a9fa269c1d86
tree5401ca14ebc67ef1c37e4041ee36ec81d108542etree | snapshot
parent6f987aaa723398a8ea478005fc547e758f0dfe16commit | diff
ExT_ind implemented.
The corresponding content element is the csymbol ext_ind.
helm/style/mmlextension.xsl diff | blob | history
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.