+ * Revision 1.14 1995-08-15 11:16:39 quinn
+ * Fixed pretty-printers.
+ * CV:e ----------------------------------------------------------------------
+ * CV:e ----------------------------------------------------------------------
+ *
+ * Revision 1.13 1995/05/22 14:56:57 quinn
+ * Fixed problem in decoding empty sequence.
+ *
+ * Revision 1.12 1995/05/18 13:06:32 quinn