(* file1.v *)
(* LPP 2025 - CS3234 2024-2025, Sem2 *)
(* Olivier Danvy <olivier@comp.nus.edu.sg> *)
(* Version of 14 Jan 2025 *)

(* ********** *)

(* {EXAMPLE} *)
Definition zero : nat :=
  0.
(* {END} *)

(* ********** *)

(* end of file1.v *)