diff options
Diffstat (limited to 'parsing/stdlib.mli')
| -rw-r--r-- | parsing/stdlib.mli | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/parsing/stdlib.mli b/parsing/stdlib.mli deleted file mode 100644 index 7bb890d18d..0000000000 --- a/parsing/stdlib.mli +++ /dev/null @@ -1,15 +0,0 @@ - -(* $Id$ *) - -open Term - -(*s This module collects the global references of the standard library - used in ocaml files *) - -(* Natural numbers *) -val glob_nat : global_reference -val glob_O : global_reference -val glob_S : global_reference - -(* Special variable for pretty-printing of constant naturals *) -val glob_My_special_variable_nat : global_reference |