new concept of virtuals, defined only in the gui that behave as the old (still

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / Base.v

Require Export Arith.
Require Export Wf_nat.
Require Export base_tactics.
Require Export base_hints.
Require Export base_types.
Require Export base_blt.
Require Export base_rewrite.