]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ea8724) | patch
* 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
tree93053fc523a566698074bd563edfaf11aa20fabatree | snapshot
parent9ea87248101d774e1b4c4b706d8d99444b2e5907commit | diff
* 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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.