]> matita.cs.unibo.it Git - helm.git/commit
The ApplyTransformation.txt_of_term function has been made more robust to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Feb 2007 16:05:29 +0000 (16:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Feb 2007 16:05:29 +0000 (16:05 +0000)
commita7621a29b6d6f4c9c9c3c04e9465ae66c0f5dafd
tree3a175ffd9b3bb3403018c2e2f881205ae4df23f9
parentc55d66bd91cc2e12daf076c4bd050ce34029854f
The ApplyTransformation.txt_of_term function has been made more robust to
exceptions.
helm/software/matita/applyTransformation.ml