]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04cc990) | patch
HELM dependent Mathql-1.4 library mathql_1_4
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Apr 2004 13:56:14 +0000 (13:56 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Apr 2004 13:56:14 +0000 (13:56 +0000)
commitf83c30c8f80325e1bbf219c50cd2859aa53ee204
treedc06e791fc08359fdc6b9ee6fd71521873313a81tree | snapshot
parent04cc990d9452b85535c5dc93655078d9fb19b14ccommit | diff
HELM dependent Mathql-1.4 library
helm/ocaml/tactics/mQueryHELM.ml [new file with mode: 0644] blob
helm/ocaml/tactics/mQueryHELM.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.