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

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] sieve.obj                                  1988-08-22 20:01  933   
[   ] unify.obj                                  1988-08-29 06:23  2.8K  
[   ] fun.obj                                    1988-08-29 06:23  3.6K  
[   ] quat.obj                                   1988-08-22 19:33  5.3K  
[   ] cat.obj                                    1988-08-29 06:23  5.8K
Apache/2.4.43 (Linux/SUSE) Server at www.mat.uc.pt Port 80