TFL/dcterm.sml
changeset 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3330 ab7161e593c8
equal deleted inserted replaced
3301:cdcc4d5602b6 3302:404fe31fd8d2
       
     1 (*  Title:      TFL/dcterm
       
     2     ID:         $Id$
       
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
       
     4     Copyright   1997  University of Cambridge
       
     5 *)
       
     6 
     1 (*---------------------------------------------------------------------------
     7 (*---------------------------------------------------------------------------
     2  * Derived efficient cterm destructors.
     8  * Derived efficient cterm destructors.
     3  *---------------------------------------------------------------------------*)
     9  *---------------------------------------------------------------------------*)
     4 
    10 
     5 structure Dcterm :
    11 structure Dcterm :