diff options
Diffstat (limited to 'vernac/vernac.mllib')
-rw-r--r-- | vernac/vernac.mllib | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/vernac/vernac.mllib b/vernac/vernac.mllib index 6fceda56d..39c313ac7 100644 --- a/vernac/vernac.mllib +++ b/vernac/vernac.mllib @@ -1,3 +1,7 @@ +Vernacexpr +Pvernac +G_vernac +G_proofs Vernacprop Himsg ExplainErr |