Index of /software/IW/registry/DR/GMP-IsTypeSuperclass

      Name                    Last modified       Size  Description


[DIR] Parent Directory        07-Jun-2003 22:43      -  
[   ] Step1.daml              24-Apr-2003 18:20     3k  
[   ] Step2.daml              24-Apr-2003 18:21     2k  
[   ] Step3.daml              24-Apr-2003 18:21     1k
Apache/1.3.3 Server at www.ksl.Stanford.EDU Port 80