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

[ICO]NameLast modifiedSizeDescription

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