]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/netstring_top.mli
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / netstring / netstring_top.mli
1 (* $Id$
2  * ----------------------------------------------------------------------
3  *
4  *)
5
6 (* You may load this module into the toploop in order to install
7  * the printers for the various opaque data types of Netstring.
8  *)
9
10 (* ======================================================================
11  * History:
12  * 
13  * $Log$
14  * Revision 1.1  2000/11/17 09:57:28  lpadovan
15  * Initial revision
16  *
17  * Revision 1.1  2000/06/25 22:53:45  gerd
18  *      Initial revision.
19  *
20  * 
21  *)