Index of /2005/rules/test/repository/tc/IRI_from_IRI

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]IRI_from_IRI-conclusion.rif07-Nov-2010 16:21 631  
[   ]IRI_from_IRI-conclusion.rifps03-Feb-2010 01:36 96  
[   ]IRI_from_IRI-premise.rif07-Nov-2010 16:21 688  
[   ]IRI_from_IRI-premise.rifps03-Feb-2010 01:36 171  
[   ]IRI_from_IRI.xml03-Feb-2010 01:36 1.8K