package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Goal.V82Source

  • deprecated Use Evd.evar_filtered_env
  • deprecated Use Evd.evar_filtered_hyps
  • deprecated Use Evd.evar_filtered_hyps
  • deprecated Use Evd.evar_concl
  • deprecated Use the Refine.refine primitive and related API
  • deprecated Use Refine.refine
  • deprecated This should be the identity now
OCaml

Innovation. Community. Security.