Index of /~pedro/cientificos/provadores
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/compressed.gif)
hol-description.ps.gz 1994-09-23 16:19 481K
![[ ]](/icons/dvi.gif)
isabelle_tutor.dvi 1995-07-06 16:22 98K
setheo-abstract.dvi 1994-09-23 16:09 22K
![[TXT]](/icons/text.gif)
sistemas.tex 1996-09-18 18:46 17K
![[ ]](/icons/unknown.gif)
imps 1996-09-18 18:46 13K
sdvs 1996-09-18 18:46 9.8K
hol-desc.html 1996-09-18 18:46 9.0K
pvs 1996-09-18 18:46 8.8K
never 1996-09-18 18:46 8.3K
![[VID]](/icons/movie.gif)
resanha.dat 1996-09-18 18:46 8.2K
resanha.news 1996-09-18 18:46 7.5K
larch 1996-09-18 18:46 7.4K
nqthm 1996-09-18 18:46 6.8K
acl2 1996-09-18 18:46 6.5K
3tap 1996-09-18 18:46 6.1K
sumario.tex 1996-09-18 18:46 6.0K
obj3 1996-09-18 18:46 5.5K
ehdm 1996-09-18 18:46 5.2K
elf 1996-09-18 18:46 5.2K
pcnqthm 1996-09-18 18:46 5.0K
prover-np-tools 1996-09-18 18:46 4.4K
coq 1996-09-18 18:46 3.8K
merill 1996-09-18 18:46 2.8K
rrl 1996-09-18 18:46 2.8K
nuprl 1996-09-18 18:46 2.7K
tableaux 1996-09-18 18:46 2.6K
getfol 1996-09-18 18:46 2.3K
porgi 1996-09-18 18:46 2.3K
tps 1996-09-18 18:46 2.2K
clam 1996-09-18 18:46 2.0K
oyster 1996-09-18 18:46 1.6K
otter 1996-09-18 18:46 1.3K
resanha.fmt 1996-09-18 18:46 467
Apache/2.4.43 (Linux/SUSE) Server at www.mat.uc.pt Port 80