Index of /software/IW/registry/AX

 Name                    Last modified       Size  Description

 Parent Directory        02-Mar-2004 17:48      -  
 cardToCardQ.daml        12-Mar-2003 10:16     2k  
 cardToHasClassQ.daml    12-Mar-2003 10:17     2k  
 complementOf1.daml      12-Mar-2003 10:17     2k  
 complementOf2.daml      12-Mar-2003 10:18     2k  
 complementOf-subClas..> 12-Mar-2003 10:18     2k  
 diffIndContr.daml       12-Mar-2003 10:18     2k  
 disjContr.daml          12-Mar-2003 10:19     2k  
 disjInh.daml            12-Mar-2003 10:19     2k  
 disjUnion.daml          12-Mar-2003 10:19     2k  
 domain.daml             12-Mar-2003 10:20     2k  
 equivalentTo.daml       12-Mar-2003 10:20     2k  
 equvToEqual.daml        12-Mar-2003 10:20     2k  
 first.daml              12-Mar-2003 10:20     2k  
 getItemFromRest.daml    12-Mar-2003 10:20     2k  
 hasClassIdentificati..> 12-Mar-2003 10:21     2k  
 hasClassToHasClassQ...> 12-Mar-2003 10:21     2k  
 hasClassToMinCardQ.daml 12-Mar-2003 10:21     2k  
 hasValue1.daml          12-Mar-2003 10:23     2k  
 hasValue2.daml          12-Mar-2003 10:23     2k  
 hasValueComplement.daml 12-Mar-2003 10:23     2k  
 intersectionOf.daml     12-Mar-2003 10:24     2k  
 maxCardinalityQ1.daml   12-Mar-2003 10:25     2k  
 maxCardinalityQ2.daml   12-Mar-2003 10:25     2k  
 maxCardinalityQ3.daml   12-Mar-2003 10:25     2k  
 maxCardToHasClassQ.daml 12-Mar-2003 10:26     2k  
 maxCardToMaxCardQ.daml  12-Mar-2003 10:26     2k  
 minCardinalityQ1.daml   12-Mar-2003 10:26     2k  
 minCardinalityQ2.daml   12-Mar-2003 10:26     2k  
 minCardToHasClassQ.daml 12-Mar-2003 10:26     2k  
 minCardToMinCardQ.daml  12-Mar-2003 10:27     2k  
 noItemsInNil.daml       12-Mar-2003 10:27     2k  
 noPropValPairForObj...> 12-Mar-2003 10:27     2k  
 noRestInNil.daml        12-Mar-2003 10:27     2k  
 Nothing.daml            12-Mar-2003 10:28     2k  
 oneOf1.daml             12-Mar-2003 10:28     2k  
 oneOf2.daml             12-Mar-2003 10:28     2k  
 oneOf3.daml             12-Mar-2003 10:28     2k  
 Property.daml           12-Mar-2003 10:28     2k  
 range.daml              12-Mar-2003 10:29     2k  
 sameClassAs1.daml       12-Mar-2003 10:29     2k  
 sameClassAs2.daml       12-Mar-2003 10:29     2k  
 samePropertyAs1.daml    12-Mar-2003 10:30     2k  
 samePropertyAs2.daml    12-Mar-2003 10:30     2k  
 toClass1.daml           12-Mar-2003 10:30     2k  
 toClass2.daml           12-Mar-2003 10:31     2k  
 TransitiveProperty.daml 12-Mar-2003 10:31     2k  
 unambigToEquiv.daml     12-Mar-2003 10:32     2k  
 unionOf1.daml           12-Mar-2003 10:32     2k  
 unionOf2.daml           12-Mar-2003 10:32     2k  
 uniqToEquiv.daml        12-Mar-2003 10:32     2k  
 subPropertyOf.daml      12-Mar-2003 10:33     2k  
 inverseOf.daml          12-Mar-2003 10:54     2k  
 subClassOf.daml         27-Mar-2003 14:46     2k  
 Thing.daml              02-Apr-2003 14:02     2k  
 PORelationIsTransiti..> 07-Jun-2003 16:39     2k  
 LocatedIsTransitive...> 07-Jun-2003 18:12     2k