]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c7bbd1) | patch
Bug fixed in type_of_aux (Cast case).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Apr 2002 10:31:06 +0000 (10:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Apr 2002 10:31:06 +0000 (10:31 +0000)
commitde6e6c56b88c880e66523b0e166f744cf8c38e22
tree24af05048dbf3f09a6da15eeb1b1aa7434d71256tree | snapshot
parent6c7bbd1cbebf9acd409e162eb3a2d647c29b713ccommit | diff
Bug fixed in type_of_aux (Cast case).
helm/ocaml/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.