]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd1b46f) | patch
occur_check and unification fixed. now Meta(i,[]) and Meta(i,[...]) are
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 19 Jun 2006 12:58:20 +0000 (12:58 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 19 Jun 2006 12:58:20 +0000 (12:58 +0000)
commitb9d067ff0d66913b7ade9fadc79064dedb4aa86f
tree56cde8d5440c250df1dcb5a91f0b2f0a7d0d0ae4tree | snapshot
parentbd1b46f317b1d3bb7d5f95c2123e945b37d001cccommit | diff
occur_check and unification fixed. now Meta(i,[]) and Meta(i,[...]) are
considered the same.
helm/software/components/tactics/paramodulation/inference.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.