LocalComp.autosubst.AST_preamble

From LocalComp.autosubst Require Import core unscoped.
From LocalComp Require Import BasicAST.
From Stdlib Require Import Setoid Morphisms Relation_Definitions.