From Undecidability.H10 Require Export FRACTRAN_DIO H10.

(** The solvability problem for lists of elementary diophantine constraints *)

About DIO_ELEM_SAT.

(** Hilbert's Tenth problem, solvability of a single diophantine equation *)

About H10. 
