Index of /~pedro/cientificos/OBJ/Tape-obj3/obj/exs/proofs

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 xor.obj                                    1988-08-25 17:42  1.1K  
 sum.obj                                    1988-08-25 06:03  1.3K  
 ripple.obj                                 1988-08-25 17:49  2.6K  
 propc.obj                                  1988-08-25 06:07  705   
 propc-exs.obj                              1988-08-25 06:07  657   
 mmm.obj                                    1988-08-25 06:03  507   
 map.obj                                    1988-08-25 06:04  1.7K  
 fadd.obj                                   1988-08-25 17:44  548   
 comm-add.obj                               1988-08-29 21:34  1.0K  
 assoc-add.obj                              1988-08-25 06:02  541   
 2not.obj                                   1988-08-22 19:59  451