Revision 94b1fdd79703ee5c9a164c3ab32e7c8c8db08e28 authored by Lennard Gäher on 17 September 2019, 07:20:29 UTC, committed by Lennard Gäher on 17 September 2019, 07:20:29 UTC
1 parent ccf1674
_CoqProject
-I src
-R theories MetaCoq.Template
# Basic Ast files
theories/utils.v
theories/config.v
theories/Universes.v
theories/BasicAst.v
theories/Ast.v
theories/AstUtils.v
theories/Induction.v
theories/LiftSubst.v
theories/UnivSubst.v
theories/Pretty.v
# The Template monad
theories/TemplateMonad.v
theories/TemplateMonad/Common.v
theories/TemplateMonad/Core.v
theories/TemplateMonad/Extractable.v
theories/TemplateMonad/Monad.v
theories/monad_utils.v
# Extract the extractable monad, built by _PluginProject
theories/Extraction.v
Computing file changes ...
