]> matita.cs.unibo.it Git - helm.git/commit
"that is equivalent to" and "or equivalently" implemented in most situations.
authormaiorino <??>
Thu, 27 Jul 2006 16:21:27 +0000 (16:21 +0000)
committermaiorino <??>
Thu, 27 Jul 2006 16:21:27 +0000 (16:21 +0000)
commit7e045cc47959182c5a84061bf669bdc5a29431c6
tree24caa5bbe25cef4e2171de4b49c0a0f841d238c0
parentbf71f28526258043857cc389adda5ce58fd236be
"that is equivalent to" and "or equivalently" implemented in most situations.
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/tactics/declarative.ml
helm/software/matita/matita.lang
helm/software/matita/tests/decl.ma