projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 962cc97) | patch
added the support for the "Locate Inductive Principles" query
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2003 11:04:15 +0000 (11:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2003 11:04:15 +0000 (11:04 +0000)
commit506b4b7597021c98e34fb65cf9d0bb7879f06e92
tree5df5e3a48dda424d8e0f36b99fe2de8f375432d7tree | snapshot
parent962cc970cd9a2161f69b70aa01b6ee9e289d9778commit | diff
added the support for the "Locate Inductive Principles" query
14 files changed:
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/mathql_test/mqgtop.ml diff | blob | history
helm/ocaml/mathql_generator/.depend diff | blob | history
helm/ocaml/mathql_generator/Makefile diff | blob | history
helm/ocaml/mathql_generator/cGLocateInductive.ml [new file with mode: 0644] blob
helm/ocaml/mathql_generator/cGLocateInductive.mli [new file with mode: 0644] blob
helm/ocaml/mathql_generator/cGMatchConclusion.ml diff | blob | history
helm/ocaml/mathql_generator/cGMatchConclusion.mli diff | blob | history
helm/ocaml/mathql_generator/cGSearchPattern.ml diff | blob | history
helm/ocaml/mathql_generator/cGSearchPattern.mli diff | blob | history
helm/ocaml/mathql_generator/mQGUtil.ml diff | blob | history
helm/ocaml/mathql_generator/mQGUtil.mli diff | blob | history
helm/ocaml/tactics/tacticChaser.ml diff | blob | history
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.