Index of /~pedro/cientificos/provadores

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 tps                     1996-09-18 18:46  2.2K  
 tableaux                1996-09-18 18:46  2.6K  
 sumario.tex             1996-09-18 18:46  6.0K  
 sistemas.tex            1996-09-18 18:46   17K  
 setheo-abstract.dvi     1994-09-23 16:09   22K  
 sdvs                    1996-09-18 18:46  9.8K  
 rrl                     1996-09-18 18:46  2.8K  
 resanha.news            1996-09-18 18:46  7.5K  
 resanha.fmt             1996-09-18 18:46  467   
 resanha.dat             1996-09-18 18:46  8.2K  
 pvs                     1996-09-18 18:46  8.8K  
 prover-np-tools         1996-09-18 18:46  4.4K  
 porgi                   1996-09-18 18:46  2.3K  
 pcnqthm                 1996-09-18 18:46  5.0K  
 oyster                  1996-09-18 18:46  1.6K  
 otter                   1996-09-18 18:46  1.3K  
 obj3                    1996-09-18 18:46  5.5K  
 nuprl                   1996-09-18 18:46  2.7K  
 nqthm                   1996-09-18 18:46  6.8K  
 never                   1996-09-18 18:46  8.3K  
 merill                  1996-09-18 18:46  2.8K  
 larch                   1996-09-18 18:46  7.4K  
 isabelle_tutor.dvi      1995-07-06 16:22   98K  
 imps                    1996-09-18 18:46   13K  
 hol-description.ps.gz   1994-09-23 16:19  481K  
 hol-desc.html           1996-09-18 18:46  9.0K  
 getfol                  1996-09-18 18:46  2.3K  
 elf                     1996-09-18 18:46  5.2K  
 ehdm                    1996-09-18 18:46  5.2K  
 coq                     1996-09-18 18:46  3.8K  
 clam                    1996-09-18 18:46  2.0K  
 acl2                    1996-09-18 18:46  6.5K  
 3tap                    1996-09-18 18:46  6.1K