]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/proofEngineTypes.mli
Bug fixing: the call to MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format'
[helm.git] / helm / ocaml / tactics / proofEngineTypes.mli
2004-06-01 Enrico Tassinew universes implementation