]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2b3f3c) | patch
non-default equalities in equations_for_goal
authorAlberto Griggio <griggio@fbk.eu>
Thu, 29 Sep 2005 12:26:25 +0000 (12:26 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 29 Sep 2005 12:26:25 +0000 (12:26 +0000)
commit7d62b9f665d208500d250ba422fedebdda48c718
tree06bb72e971f12673900bbbe418ec8ab5674ca08ctree | snapshot
parentd2b3f3c816a651cbed998976a343f83cad1be69ccommit | diff
non-default equalities in equations_for_goal
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.