]> matita.cs.unibo.it Git - helm.git/commit
Whithout List.hd error
authornatile <??>
Wed, 2 Oct 2002 16:28:43 +0000 (16:28 +0000)
committernatile <??>
Wed, 2 Oct 2002 16:28:43 +0000 (16:28 +0000)
commit61872e154b77378c203e4a9b179b4067cfe7f23b
tree6eff5f785b2450c1aed200bc114e8cb9b708d554
parent93f90c8035a846fad1a51a70e59da3e4828a4e97
Whithout List.hd error
helm/ocaml/mathql_interpreter/mqint.ml