]> matita.cs.unibo.it Git - helm.git/commit
added inverse switch for relation and attribute
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Nov 2002 17:59:46 +0000 (17:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Nov 2002 17:59:46 +0000 (17:59 +0000)
commite5c9ea9efcc95afee3be91e8beb754c0cb4301dc
tree9a3f78fa5ce483ba4af525ca4ea2a974c7668e22
parentb216b5a2df4e4218ee2e148cf5e8f11c4d4dbb1b
added inverse switch for relation and attribute
removed fun
helm/ocaml/mathql/mQueryTLexer.mll
helm/ocaml/mathql/mQueryTParser.mly
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mathQL.ml
helm/ocaml/mathql_interpreter/attribute.cmi [deleted file]
helm/ocaml/mathql_interpreter/attribute.cmx [deleted file]
helm/ocaml/mathql_interpreter/attribute.ml
helm/ocaml/mathql_interpreter/mqint.ml