theories/Numbers/Integer/Axioms/ZDec.v


1
2
3
4
5
6
7
8

Axiom E_equiv_e : forall x y : Z, E x y <-> e x y.


(*
 Local Variables:
 tags-file-name: "~/coq/trunk/theories/Numbers/TAGS"
 End:
*)