]> matita.cs.unibo.it Git - helm.git/commit
Unused files removed.
authornatile <??>
Thu, 14 Nov 2002 14:47:06 +0000 (14:47 +0000)
committernatile <??>
Thu, 14 Nov 2002 14:47:06 +0000 (14:47 +0000)
commit0e6819aaf2b655e6af33e2c64a5e6f97f37905b4
tree29b5838e0964f80b6f90885a519b0a7c01e32448
parentbf75368b847402eca0e824953a4e9cf69a22905e
Unused files removed.
helm/ocaml/mathql_interpreter/sortedby.ml [deleted file]
helm/ocaml/mathql_interpreter/sortedby.mli [deleted file]