Index of /pub/sci/math/misc/programs/imps/doc

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 virtual-memory.ps.gz              1994-04-30 17:16   56K  
 virtual-memory.dvi.gz             1994-04-30 17:16   27K  
 two-proofs.ps.gz                  1994-04-30 17:16   46K  
 two-proofs.dvi.gz                 1994-04-30 17:16   17K  
 proof-scripts.ps.gz               1994-04-30 17:16   45K  
 proof-scripts.dvi.gz              1994-04-30 17:16   22K  
 little-theories.ps.gz             1994-04-30 17:16   58K  
 little-theories.dvi.gz            1994-04-30 17:16   27K  
 interpretations.ps.gz             1994-04-30 17:16   89K  
 interpretations.dvi.gz            1994-04-30 17:16   45K  
 imps-overview.ps.gz               1994-04-30 17:16  109K  
 imps-overview.dvi.gz              1994-04-30 17:16   62K  
 contexts.ps.gz                    1994-04-30 17:16   60K  
 contexts.dvi.gz                   1994-04-30 17:16   27K  
 INDEX                             1994-04-30 17:16  1.0K