diff options
Diffstat (limited to 'tactics/hightactics.mllib')
-rw-r--r-- | tactics/hightactics.mllib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tactics/hightactics.mllib b/tactics/hightactics.mllib index 0649f2f72..b18d148ec 100644 --- a/tactics/hightactics.mllib +++ b/tactics/hightactics.mllib @@ -1,3 +1,4 @@ +Tacentries Tacinterp Evar_tactics Tactic_option |