path: root/src/CoqUp/CoqUp.v

Set Implicit Arguments.

Require Import Bool List String.