]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac6e72a) | patch
calculation of the sort user to choose the rewriting principle fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Jul 2008 09:13:12 +0000 (09:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Jul 2008 09:13:12 +0000 (09:13 +0000)
commit55c78a59b2127ecead99bb814a3ca519f8087053
tree612066f42021b5b264d44f5351b52f71305cea02tree | snapshot
parentac6e72ade957c5ad253362b149140f7f9fd5ec5dcommit | diff
calculation of the sort user to choose the rewriting principle fixed
(the one of the goal was used also to rewrite in an hypothesis)
helm/software/components/tactics/equalityTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.