]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler_ind.h
1 /****************************************************************/
2 /*                           STHANDLER.H                        */
3 /****************************************************************/
4
5             
6 extern  void            init_symbol_table();
7 extern  void            print_all(char *, FILE *, FILE *, FILE *);
8 extern  int             search_bucket(char *, int, int);