]> matita.cs.unibo.it Git - helm.git/commit
Added new function txt_of_cic_sequent.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 20 Jan 2007 15:30:26 +0000 (15:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 20 Jan 2007 15:30:26 +0000 (15:30 +0000)
commit6cd1c2d533b21e0a0e2a66ddd23db3ec92012025
treee839ba88f8f56eea25280bf45616c3a6701e3880
parent3cdf3d1d9e2ee3c12931c2af5c2daf1b0e73a310
Added new function txt_of_cic_sequent.
helm/software/matita/applyTransformation.ml
helm/software/matita/applyTransformation.mli