]> matita.cs.unibo.it Git - helm.git/commit
CGLocateInductive patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2003 13:07:26 +0000 (13:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2003 13:07:26 +0000 (13:07 +0000)
commit36d9dada5eb3894d96c807781e1056b73a1c0a79
treea5e58534ea6d181866ae9ea6da45c18a89d46939
parent506b4b7597021c98e34fb65cf9d0bb7879f06e92
CGLocateInductive patched
helm/mathql_test/mqgtop.ml
helm/ocaml/mathql_generator/.depend
helm/ocaml/mathql_generator/cGLocateInductive.ml
helm/ocaml/mathql_generator/cGLocateInductive.mli
helm/searchEngine/searchEngine.ml