Index of /2000/10/swap/test/ref

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]animal-1.rdf2004-03-06 20:39 531  
[TXT]animal-ntriples.n32004-10-26 14:19 730  
[TXT]animal.n32004-03-06 20:39 341  
[TXT]anon-prop-1.n32004-06-25 01:27 129  
[   ]anonymous_loop.ref2004-12-31 19:12 101  
[TXT]append-out.n32004-03-06 20:39 527  
[TXT]argv-1.n32012-01-30 09:30 1.1K 
[TXT]argv-2.n32012-01-30 09:30 1.1K 
[TXT]bad-preds.n32005-06-16 21:39 66  
[TXT]base64.n32012-01-30 09:30 86  
[TXT]bi-concat.n32004-03-06 20:39 667  
[TXT]bi-quant-imp.n32012-01-30 09:30 379  
[TXT]bi-quant.n32006-01-25 03:16 445  
[TXT]bi-t1.n32012-01-30 09:30 735  
[TXT]bi-t2.n32012-01-30 09:30 681  
[TXT]bi-t3.n32012-01-30 09:30 523  
[TXT]bi-t4.n32012-01-30 09:30 372  
[TXT]bi-t5.n32001-05-26 17:32 837  
[TXT]bi-t6.n32012-01-30 09:30 372  
[TXT]bi-t7.n32004-06-25 01:27 1.6K 
[TXT]bi-t8.n32012-01-30 09:30 2.0K 
[TXT]bi-t9.n32012-01-30 09:30 508  
[TXT]bi-t10.n32012-01-30 09:30 1.0K 
[TXT]bi-t11.n32012-01-30 09:30 3.3K 
[TXT]bi-uri-startswith.n32012-01-30 09:30 618  
[TXT]bnode.n32012-01-30 09:30 329  
[   ]bnode.rdf2004-06-09 22:14 554  
[   ]bnode_in_list_in_list.ref2004-12-03 03:19 109  
[TXT]colon-in-uri.n32005-01-10 19:15 826  
[TXT]colon-no-qname.n32005-06-16 20:08 60  
[TXT]conclusion.n32012-01-30 09:30 7.5K 
[TXT]conjunction.n32012-01-30 09:30 513  
[TXT]contexts-1.n32001-09-07 02:08 280  
[TXT]daml-ex.n32004-05-12 01:27 2.4K 
[TXT]daml-ont-piped.n32004-03-06 20:39 8.6K 
[TXT]daml-ont.n32004-03-06 20:39 8.9K 
[TXT]data-ugly.n32005-01-10 19:15 3.6K 
[TXT]dbork-OrderTracking0.n32004-06-25 01:27 2.6K 
[TXT]dbork-OrderTracking1-noExtKeys.n32004-06-25 01:27 3.7K 
[TXT]dbork-OrderTracking1-sameFragName.n32004-06-25 01:27 4.2K 
[TXT]dbork-OrderTracking1.n32004-06-25 01:27 3.6K 
[TXT]dbork-OrderTracking6.n32004-06-25 01:27 3.2K 
[DIR]dbork/2003-01-16 02:46 -  
[TXT]dec-div.ref.n32006-07-07 03:30 1.9K 
[TXT]defdoc1-out.n32004-06-25 01:27 779  
[TXT]defdoc2-out.n32004-06-25 01:27 6.6K 
[TXT]djb1a-out.n32003-12-04 21:20 74  
[TXT]dot-dash.n32003-07-29 02:57 239  
[TXT]double-proof.n32007-11-18 03:40 4.1K 
[TXT]dtlit1.n32012-01-30 09:30 357  
[TXT]endsWith-out.n32004-06-25 01:27 1.6K 
[TXT]environ.n32012-01-30 09:30 400  
[TXT]equiv-syntax.n32004-03-06 20:39 547  
[TXT]filter-bnode.n32007-10-15 14:55 195  
[TXT]flatten-1e.n32002-08-29 21:45 474  
[TXT]flatten-1e2.n32002-08-29 21:45 440  
[TXT]flatten-1g.n32004-08-08 01:44 69  
[TXT]flatten-1u.n32002-08-29 21:45 474  
[TXT]flatten-2g.n32004-08-08 01:44 109  
[TXT]flatten-Falsehood.n32002-10-02 20:40 525  
[TXT]flatten-Truth.n32002-08-29 21:45 474  
[TXT]flatten-means.n32002-10-02 20:40 825  
[TXT]flatten-rule1.n32002-08-29 21:45 821  
[TXT]flatten-rules12.n32002-08-29 21:45 3.0K 
[TXT]flatten-rules13.n32002-08-29 21:45 5.6K 
[TXT]flatten-terse-1e.n32002-08-29 21:45 390  
[TXT]flatten-terse-1e2.n32002-08-29 21:45 356  
[TXT]flatten-terse-Truth.n32002-08-29 21:45 390  
[TXT]flatten-terse-rule1.n32002-08-29 21:45 637  
[TXT]flatten-terse-rules12.n32002-08-29 21:45 2.5K 
[TXT]flatten-terse-rules13.n32002-08-29 21:45 4.7K 
[TXT]genBnodeInNestedFormula-out.n32012-01-30 09:30 305  
[TXT]hiragana.n32004-03-06 20:39 375  
[TXT]in-xml-t.n32012-01-30 09:30 175  
[TXT]in-xml.n32004-03-06 20:39 5  
[TXT]includes-builtins.n32005-08-22 21:12 158  
[TXT]itemType.n32004-04-16 20:43 234  
[TXT]keywords1.n32004-06-25 01:27 185  
[TXT]keywords2.n32007-07-07 14:02 181  
[   ]lbase-to-otter2003-02-14 19:49 4.0K 
[TXT]li-double.n32004-06-25 01:27 473  
[TXT]li-gk3.n32003-01-10 17:05 2.0K 
[TXT]li-r1.n32004-06-25 01:27 498  
[TXT]list-bug1.n32004-06-25 01:27 348  
[TXT]list-bug2.n32004-06-25 01:27 421  
[TXT]list-builtin_generated_match.n32005-05-26 02:04 136  
[TXT]list-construct.n32004-03-06 20:39 324  
[TXT]list-last.n32005-06-20 22:09 693  
[TXT]list-unify1.n32004-03-06 20:39 90  
[TXT]list-unify2.n32004-03-06 20:39 90  
[TXT]list-unify3.n32004-03-06 20:39 90  
[TXT]list-unify4.n32004-03-06 20:39 378  
[TXT]list-unify5.n32005-08-22 21:12 378  
[   ]lists-simple-1.rdf2004-12-03 20:17 4.8K 
[TXT]lists-simple.n32004-03-06 20:39 762  
[TXT]lists.n32004-03-06 20:39 762  
[TXT]lstring-out.n32002-05-15 00:38 932  
[TXT]math1.n32006-01-13 14:48 3.3K 
[TXT]n-rules12.n32001-09-07 02:12 956  
[TXT]n3ExprFor-out.n32012-01-30 09:30 391  
[TXT]n3string.n32012-01-30 09:30 263  
[TXT]nn-rules12.n32001-09-07 02:12 956  
[TXT]no-last-nl.n32012-01-30 09:30 51  
[TXT]norm-av1.n32004-10-26 14:19 3.9K 
[TXT]norm-av2.n32004-10-26 14:19 3.9K 
[TXT]numbers-n.n32006-01-13 14:48 1.3K 
[TXT]numbers.n32006-01-13 14:48 564  
[   ]numbers.rdf2004-10-26 14:19 1.4K 
[TXT]path1.n32002-12-31 05:50 243  
[TXT]path2.n32014-07-23 18:11 1.0K 
[TXT]paw-t01check.n32006-07-03 21:33 371  
[TXT]paw-t02check.n32006-07-31 21:37 219  
[TXT]piped-t016-out.n32007-01-25 22:53 15K 
[   ]prefix1.rdf2007-01-03 16:17 1.6K 
[   ]prefix2.rdf2007-01-25 22:53 1.8K 
[   ]prefix3.rdf2007-01-25 22:53 1.6K 
[TXT]quotient_string.ref.n32006-01-10 13:58 335  
[TXT]qvars1.n32012-01-30 09:30 205  
[TXT]qvars2.n32012-01-30 09:30 201  
[   ]rdf-redefine.rdf2005-07-25 19:01 233  
[TXT]reason-e.n32003-01-29 21:15 727  
[TXT]reason-poor-urop.n32007-08-06 16:13 799  
[TXT]reason-rename-loop.n32006-07-07 03:30 575  
[TXT]reason-single-gen.n32007-08-06 16:13 374  
[TXT]reason-t01check.n32005-08-22 21:12 141  
[TXT]reason-t01proof.n32005-10-24 15:38 640  
[TXT]reason-t02check.n32005-10-24 15:38 279  
[TXT]reason-t02proof.n32005-10-24 15:38 876  
[TXT]reason-t03check.n32005-10-24 15:38 271  
[TXT]reason-t03proof.n32005-10-24 15:38 1.9K 
[TXT]reason-t04check.n32005-10-24 15:38 288  
[TXT]reason-t04proof.n32005-10-24 15:38 2.3K 
[TXT]reason-t05check.n32005-10-24 15:38 384  
[TXT]reason-t05proof.n32005-11-02 00:06 2.7K 
[TXT]reason-t06check.n32005-10-24 15:38 472  
[TXT]reason-t06proof.n32005-11-02 00:06 3.6K 
[TXT]reason-t08check.n32005-10-24 15:38 628  
[TXT]reason-t08proof.n32005-10-24 15:38 2.6K 
[TXT]reason-t09check.n32005-11-02 00:06 600  
[TXT]reason-t09filter.n32005-10-24 15:38 3.2K 
[TXT]reason-t09filtercheck.n32005-10-24 15:38 116  
[TXT]reason-t09proof.n32005-10-24 15:38 2.5K 
[TXT]reason-t1.n32003-01-16 05:05 455  
[TXT]reason-t2.n32004-06-25 01:27 2.1K 
[TXT]reason-t3.n32003-01-16 05:05 2.1K 
[TXT]reason-t4.n32003-01-16 05:05 2.2K 
[TXT]reason-t5.n32004-06-25 01:27 2.1K 
[TXT]reason-t90check.n32007-08-23 16:28 8.1K 
[   ]regression.n3_t1005e.out2004-01-29 18:03 74  
[   ]reluri-1.rdf2004-03-06 20:39 678  
[TXT]resolves-rdf.n32012-01-30 09:30 408  
[TXT]roadmap-test.dot2001-12-02 22:38 543  
[TXT]roughly-out.n32004-06-25 01:27 2.1K 
[TXT]rules-flag-a.n32012-01-30 09:30 512  
[TXT]rules-flag-ntriples.n32003-01-13 04:21 746  
[TXT]rules-flag-t.n32012-01-30 09:30 608  
[TXT]rules12-1.n32012-01-30 09:30 717  
[TXT]rules12-n.n32012-01-30 09:30 740  
[TXT]rules13-1.n32004-06-25 01:27 2.1K 
[TXT]rules13-n.n32004-03-06 20:39 235  
[TXT]sameDan.n32012-01-30 09:30 3.0K 
[TXT]schema1.n32012-01-30 09:30 6.3K 
[TXT]schema2.n32004-03-06 20:39 173  
[TXT]semErr.n32004-06-25 01:27 259  
[   ]smush.rdf2004-03-06 20:39 396  
[TXT]smush6.n32004-03-21 04:24 701  
[TXT]socrates.n32007-06-27 17:58 394  
[TXT]strquot.n32012-01-30 09:30 633  
[TXT]strquot_a.n32012-01-30 09:30 629  
[   ]supports.ref2006-02-15 17:02 545  
[   ]supports_proof.ref2006-02-15 17:02 3.3K 
[TXT]timet1.n32006-01-13 14:48 1.6K 
[TXT]timet1s.n32004-06-25 01:27 1.9K 
[TXT]two-route.n32012-01-30 09:30 456  
[TXT]underbarscope-out.n32012-01-30 09:30 306  
[TXT]uriEncode.n32006-01-13 14:48 3.5K 
[TXT]vblsNotURIs-out.n32012-01-30 09:30 1.1K 
[TXT]xml-base3.n32012-01-30 09:30 228  
[   ]xml-redefine.rdf2005-07-25 19:01 576  
[   ]xml-redefine2.rdf2005-07-25 19:01 745  
[   ]xml-syntax-basic-serialization.rdf2005-06-21 17:36 290  
[   ]xmllit.nt2007-06-26 15:30 376