Index of /~pedro/cientificos/OBJ/Tape-obj3/obj/lisp/rule_gen

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] ext_rule_gen.lsp                            1988-08-26 19:56   15K  
[   ] proof.lsp                                   1988-08-26 19:56  1.1K
Apache/2.4.43 (Linux/SUSE) Server at www.mat.uc.pt Port 80