InqLog.Prelude

From Stdlib Require Export
  Bool
  Nat
  List

  PeanoNat
  Lia

  SetoidList
  Setoid
  SetoidDec

  Eqdep_dec

  Classical_Prop.

From Autosubst Require Export
  Autosubst.