diff options
Diffstat (limited to 'vernac/vernac.mllib')
-rw-r--r-- | vernac/vernac.mllib | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/vernac/vernac.mllib b/vernac/vernac.mllib index f001b572..356951b6 100644 --- a/vernac/vernac.mllib +++ b/vernac/vernac.mllib @@ -1,10 +1,18 @@ +Vernacexpr +Pvernac +G_vernac +G_proofs Vernacprop -Proof_using -Lemmas Himsg ExplainErr -Class Locality +Egramml +Vernacinterp +Ppvernac +Proof_using +Lemmas +Class +Egramcoq Metasyntax Auto_ind_decl Search @@ -20,7 +28,8 @@ Classes Record Assumptions Vernacstate -Vernacinterp Mltop Topfmt Vernacentries + +Misctypes |