Index of /home/strac/test/IDV/files

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]00ordinal1.tptp19-Jan-2009 15:34 491K
[   ]Assumptions01.tptp19-Jan-2009 15:34 817
[   ]CSR014+1.Metis.tptp19-Jan-2009 15:34 12K
[   ]EP_test01.tptp19-Jan-2009 15:34 50K
[   ]Metis.01.tptp19-Jan-2009 15:34 384
[   ]Mptp_tree.tptp28-Aug-2007 18:50 30M
[   ]NUM001-1.tptp19-Jan-2009 15:34 15K
[   ]NUM022-1.tptp19-Jan-2009 15:34 7.1K
[   ]NUM299+1.tptp19-Jan-2009 15:34 7.7K
[   ]NUM313+1.tptp19-Jan-2009 15:34 4.1K
[   ]Otter---3.3.THM-Ref.s19-Jan-2009 15:34 11K
[   ]PUZ001+1.Metis.2.tptp19-Jan-2009 15:34 6.9K
[   ]PUZ001+1.Metis.tptp19-Jan-2009 15:34 16K
[   ]PUZ001+1.SPASS.tptp19-Jan-2009 15:34 6.6K
[   ]PUZ001+1.V.tptp14-May-2007 02:11 9.6K
[   ]PUZ001+1.V2.tptp14-May-2007 02:11 9.6K
[   ]PUZ001+1.V3.tptp14-May-2007 02:11 8.5K
[   ]PUZ001+1.V4.tptp14-May-2007 02:11 10K
[   ]PUZ001+1.tptp14-May-2007 02:11 17K
[   ]PUZ001+1b.tptp19-Jan-2009 15:34 5.7K
[   ]PUZ001-1.tptp14-May-2007 02:11 4.9K
[   ]PUZ016-2.00528-Feb-2007 16:22 38K
[   ]PUZ016-2.005.tptp14-May-2007 02:11 38K
[   ]PUZ027-1+noeq.tptp.final14-May-2007 02:11 11K
[   ]PUZ027-1+noeq.tptp.finalb14-May-2007 02:11 11K
[   ]PUZ027-1.EP.tptp14-May-2007 02:11 6.2K
[   ]PUZ047+1.tptp14-May-2007 02:11 18K
[   ]SET011+3.tptp14-May-2007 02:11 13K
[   ]SET017+1.tptp14-May-2007 02:11 14K
[   ]SET615+3.tptp14-May-2007 02:11 65K
[   ]SET615+3b.tptp14-May-2007 02:11 38K
[   ]SET637+3.SNARK.tptp14-May-2007 02:11 3.2K
[   ]SET645+3.tptp14-May-2007 02:11 45K
[   ]SET646+3.tptp14-May-2007 02:11 53K
[   ]SET647+3.tptp14-May-2007 02:11 50K
[   ]SET647+3b.tptp14-May-2007 02:11 68K
[   ]SET657+3.tptp14-May-2007 02:11 37K
[   ]SET696+4.tptp14-May-2007 02:11 21K
[   ]SWV116+1.tptp14-May-2007 02:11 106K
[   ]SYN036+1.tptp10-Nov-2005 21:45 527K
[   ]SYN052+1.tptp14-May-2007 02:11 7.3K
[   ]_PUZ001+1.tptp19-Jan-2009 15:34 9.3K
[   ]a.out19-Jan-2009 15:34 169K
[   ]all_set.tptp19-Jan-2009 15:34 2.3K
[   ]applet38_coord_url19-Jan-2009 15:34 2.5K
[   ]axiom_set.tptp19-Jan-2009 15:34 634
[   ]broken.01.tptp19-Jan-2009 15:34 600
[   ]chain_t24_yellow17_uns19-Jan-2009 15:34 116K
[   ]chain_t38_yellow1919-Jan-2009 15:34 114K
[   ]derivation01.tptp19-Jan-2009 15:34 6.7K
[   ]entrada.tptp19-Jan-2009 15:34 162
[IMG]eye.png28-Mar-2007 16:24 728
[   ]funct_1__for_idv19-Jan-2009 15:34 105K
[   ]makefile19-Jan-2009 15:34 42
[   ]matrix11.agin119-Jan-2009 15:34 1.1M
[   ]matrix11.agin1119-Jan-2009 15:34 190K
[   ]new-dcm-q219-Jan-2009 15:34 16K
[   ]ordinal1__for_idv19-Jan-2009 15:34 46K
[   ]proof6966tptp19-Jan-2009 15:34 3.6K
[   ]sample00.tptp14-May-2007 02:11 1.4K
[   ]sample01.tptp14-May-2007 02:11 1.4K
[   ]sample03.tptp14-May-2007 02:11 1.5K
[   ]sample04.tptp14-May-2007 02:11 525
[   ]sample05.tptp14-May-2007 02:11 1.5K
[   ]sample06.tptp14-May-2007 02:11 2.0K
[   ]sample07.tptp14-May-2007 02:11 10K
[   ]sample08.tptp14-May-2007 02:11 1.5K
[   ]sample09.tptp14-May-2007 02:11 162
[   ]sample10.tptp14-May-2007 02:11 19K
[   ]solution.s07-Nov-2007 16:30 7.8K
[TXT]testApplet4.html13-May-2007 11:15 251
[TXT]testApplet27_url_public.html13-May-2007 11:15 260
[TXT]testApplet28_url_public.html13-May-2007 11:15 248
[TXT]testApplet29.html13-May-2007 11:15 11K
[TXT]testApplet30.html13-May-2007 11:15 11K
[TXT]testApplet31_url_public.html13-May-2007 11:15 574
[TXT]testApplet32.html13-May-2007 11:15 11K
[TXT]testApplet33_url_public.html13-May-2007 11:15 574
[TXT]testApplet34_url_public.html13-May-2007 11:15 576
[TXT]testApplet35_url_public.html13-May-2007 11:15 574
[TXT]testApplet36_url_public.html13-May-2007 11:15 580
[TXT]testApplet37_url_public.html13-May-2007 11:15 543

Apache/2.2.9 (Debian) PHP/5.2.6-1+lenny13 with Suhosin-Patch Server at web.cs.miami.edu Port 80