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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 assoc_commu.lsp                             1988-08-26 19:55   16K  
 associative.lsp                             1988-08-26 19:55   13K  
 commutative.lsp                             1988-08-26 19:55  3.2K  
 dio.lsp                                     1988-08-26 19:55   17K  
 empty.lsp                                   1988-08-26 19:55  2.6K  
 environment.lsp                             1988-08-26 19:55  4.6K  
 global_state.lsp                            1988-08-26 19:55  822   
 match.lsp                                   1988-08-26 19:55  4.3K  
 match_equation.lsp                          1988-08-26 19:55  4.7K  
 match_methods.lsp                           1988-08-26 20:03   17K  
 match_system.lsp                            1988-08-26 19:55  6.3K  
 state.lsp                                   1988-08-26 19:55  3.9K  
 system.lsp                                  1988-08-26 19:55  4.7K  
 theory.lsp                                  1988-08-26 19:55  6.0K  
 theory_name.lsp                             1988-12-20 20:52  2.4K  
 theory_state.lsp                            1988-08-26 19:55  3.5K