Library Prelude.Init

Declare Scope prelude_scope.

#[global] Open Scope prelude_scope.

From Coq Require Export List.
Export ListNotations.

#[global]
Generalizable All Variables.