6 lines
124 B
Plaintext
6 lines
124 B
Plaintext
(library
|
|
(name geneweb_sosa_zarith)
|
|
(public_name geneweb.sosa_zarith)
|
|
(libraries zarith)
|
|
(implements geneweb_sosa_mli))
|