]> matita.cs.unibo.it Git - helm.git/commit
patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 Feb 2004 16:25:12 +0000 (16:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 Feb 2004 16:25:12 +0000 (16:25 +0000)
commit1d224f3b98d9a2965014071ffa01d16e2497455d
tree63a2bf608356ef215d46741c5bcbf5ce3c5ac031
parente73f439e856f456b47ec6381c0c93594eaac5a82
patched
helm/mathql_test/mqgtop.ml
helm/mathql_test/mqitop.ml