]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5945dfb) | patch
- Added a swap parameter to the unification procedure
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 19 Nov 2009 10:26:27 +0000 (10:26 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 19 Nov 2009 10:26:27 +0000 (10:26 +0000)
commita4615d355dba036f1faf4aa3306e005da5e839a0
treea7c11c98eac6031cb8c23f68daf479cada143b7atree | snapshot
parent5945dfb4370eca6142918c151bc93a6f242cee6ccommit | diff
- Added a swap parameter to the unification procedure
- Fixed a bug in the metavariable restriction algorithm, which resulted in bad
  metavariable local contexts.
helm/software/components/ng_refiner/nCicMetaSubst.ml diff | blob | history
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
helm/software/components/ng_refiner/nCicUnification.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.