diff options
Diffstat (limited to 'proofs/pfedit.mli')
| -rw-r--r-- | proofs/pfedit.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/proofs/pfedit.mli b/proofs/pfedit.mli new file mode 100644 index 000000000..7b3d05eeb --- /dev/null +++ b/proofs/pfedit.mli @@ -0,0 +1,10 @@ + +(* $Id$ *) + +(*i*) +open Pp +(*i*) + +val proof_prompt : unit -> string +val refining : unit -> bool +val msg_proofs : bool -> std_ppcmds |