]> 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)
commit27ebdab06ba308c431669b58a46fc0bb12c8c72e
tree31314cb9a3250e305bce59268feed8d017174d3b
parent31d3422a07ed889dff7bda3a28884caff30cba07
"that is equivalent to" and "or equivalently" implemented in most situations.
components/grafite_parser/grafiteParser.ml
components/tactics/declarative.ml
matita/matita.lang
matita/tests/decl.ma