]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a5fcfd) | patch
Conversion rules are now correctly handled also for atoms.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jun 2002 17:10:28 +0000 (17:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jun 2002 17:10:28 +0000 (17:10 +0000)
commit2243a6f1244e4c0b118fb96f6265ada939fb5ccc
treeaa211dade2ef975fd3711a4ac159a15152267a89tree | snapshot
parent9a5fcfd85222669ba70aae8c73433afc047f8f8acommit | diff
Conversion rules are now correctly handled also for atoms.
The only residual problem is that some proofs + side-proofs
where the proof is an atom with different inner-types are
rendered as a proof with two sub-proofs which is innatural.
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.