diff options
Diffstat (limited to 'contrib/xml/cooking.mli')
| -rw-r--r-- | contrib/xml/cooking.mli | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/contrib/xml/cooking.mli b/contrib/xml/cooking.mli deleted file mode 100644 index 6eb5b4330..000000000 --- a/contrib/xml/cooking.mli +++ /dev/null @@ -1,20 +0,0 @@ -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* A tactic to print Coq objects in XML *) -(* *) -(* Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> *) -(* 17/11/1999 *) -(* *) -(* This module compute the list of variables occurring in a term from the *) -(* term and the list of variables possibly occuring in it *) -(* *) -(******************************************************************************) - -(* add_cooking_information csp vl *) -(* when csp is the section path of the most cooked object co *) -(* and vl is the list of variables possibly occuring in co *) -(* returns the list of variables actually occurring in co *) -val add_cooking_information : - Names.section_path -> string list list -> string |