]> matita.cs.unibo.it Git - helm.git/commit
* comments improved an possible code weakness (i.e. less than first order
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Dec 2003 11:27:30 +0000 (11:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Dec 2003 11:27:30 +0000 (11:27 +0000)
commitd28e499e10fda9fca6cd7767822f018aa2d5950d
tree93053fc523a566698074bd563edfaf11aa20faba
parent9ea87248101d774e1b4c4b706d8d99444b2e5907
* comments improved an possible code weakness (i.e. less than first order
  unification detected) made explicit in the comment and with a warning.
helm/ocaml/cic_unification/cicUnification.ml