]> matita.cs.unibo.it Git - helm.git/commit
oblivion_ugraph => empty_ugraph
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Apr 2008 11:13:05 +0000 (11:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Apr 2008 11:13:05 +0000 (11:13 +0000)
commit3b74f626ef19a7ffccb8264f3230fb5efeb7ec6e
tree08d41ca8320d70949f6f7b4d7be6979c8fa5f90e
parent44ccb088991b937c54cbe13f0a135e36da9d5d8d
oblivion_ugraph => empty_ugraph
helm/software/components/cic_proof_checking/cicTypeChecker.ml