]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c57041) | patch
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)
commit7f6b2044530540ac8cb1eaec56c0c122a7f8140d
tree6431441d4b61d8f982065b5ddf6f23690da61845tree | snapshot
parent4c57041471d4f33da4e449fae304c62e790b4789commit | diff
The ApplyTransformation.txt_of_term function has been made more robust to
exceptions.
matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.