Index of /index/Science/math/misc/programs/imps/doc

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