diff options
Diffstat (limited to 'contrib/interface/pbp.mli')
-rw-r--r-- | contrib/interface/pbp.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/interface/pbp.mli b/contrib/interface/pbp.mli deleted file mode 100644 index 9daba184..00000000 --- a/contrib/interface/pbp.mli +++ /dev/null @@ -1,2 +0,0 @@ -val pbp_tac : (Tacexpr.raw_tactic_expr -> 'a) -> - Names.identifier option -> int list -> Proof_type.tactic |