]> matita.cs.unibo.it Git - helm.git/commit
added tactic and tactical (still heavily bugged!!!)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 23:56:28 +0000 (23:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 23:56:28 +0000 (23:56 +0000)
commit5095f0f9e11e966d7872d38ab8ef408567c5984e
tree467972883eb9cb59467a981e006febd098ceb870
parent4e17b87ad4876974c41e490b5e0bc9487c82aa7e
added tactic and tactical (still heavily bugged!!!)
helm/ocaml/cic_disambiguation/.depend
helm/ocaml/cic_disambiguation/Makefile
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.mli
helm/ocaml/cic_disambiguation/test_parser.ml