From jasuja  Thu Oct 26 16:57:36 1989
Received: by iris (5.57/3.14)
        id AA07644; Thu, 26 Oct 89 16:57:36 PDT
Message-Id: <8910262357.AA07644@iris>
To: info-hol
Subject: type abbreviations in HOL
Date: Thu, 26 Oct 89 16:57:33 PDT
From: Amit Jasuja <jasuja>

In specifying hardware, where variables in the specifications are of type
values (low, high), wires (time -> values), memory (time -> num -> num),
etc., I wish to be able to use these types in my definitions instead of the
complete expansion.  Is there a way to do it without using the
dereferencing operator (^) inside the string?  If there isn't a way, anyone
know why?  To me, it seems like a useful thing - especially when one is
trying to understand the definitions....

-- amit --
************************************************************************
Amit Jasuja,                        |  jasuja@iris.ucdavis.edu
Division of Computer Science,       |          - or -
University of California, Davis.    |  ajasuja@ucdavis.bitnet
************************************************************************

