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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 2-exs.obj                                  1988-08-25 19:21  520   
 2.obj                                      1988-08-25 17:56  120   
 array.obj                                  1988-08-22 19:32  521   
 bubbles-exs.obj                            1988-08-29 19:29  428   
 bubbles.obj                                1988-08-22 20:09  631   
 iter-exs.obj                               1988-08-29 19:31  460   
 iter.obj                                   1988-08-22 20:00  248   
 lexl-exs.obj                               1988-08-25 19:25  178   
 lexl.obj                                   1988-08-22 20:00  402   
 list.obj                                   1988-08-22 19:31  435   
 list2.obj                                  1988-08-22 20:08  395   
 map-exs.obj                                1988-08-25 06:23  375   
 map.obj                                    1988-08-22 20:00  207   
 propc-exs.obj                              1988-08-25 19:31  657   
 propc.obj                                  1988-08-22 19:44  674   
 set-exs.obj                                1988-08-22 21:13  774   
 set.obj                                    1988-08-22 21:13  1.0K  
 sorting-exs.obj                            1988-08-31 16:55  785   
 sorting.obj                                1988-08-22 20:55  490   
 theories.obj                               1988-08-29 16:58  602   
 views.obj                                  1988-08-29 16:59  598