Index of /software/IW/registry/IR

 Name                    Last modified       Size  Description

 Parent Directory        02-Mar-2004 17:48      -  
 UR-Res.daml             31-Mar-2003 12:18     3k  
 UNREG.daml              04-Jun-2003 21:54     3k  
 UD.daml                 31-Mar-2003 12:18     3k  
 Told.daml               09-May-2003 16:26     3k  
 TimePointMap.daml       24-Mar-2003 13:23     3k  
 TimePoint.daml          25-Mar-2003 16:02     3k  
 Subsump.daml            18-Apr-2003 12:47     3k  
 Reformulation.daml      02-Apr-2003 15:15     2k  
 Paramod.daml            09-May-2003 17:32     4k  
 NegConc.daml            08-May-2003 15:19     3k  
 Neg-Paramod.daml        07-Feb-2003 12:58     3k  
 Member.daml             17-Jan-2003 18:00     2k  
 MP.daml                 25-Apr-2003 13:37     3k  
 Hyp-Resolution.daml     09-May-2003 17:10     4k  
 GMP.daml                03-Apr-2003 15:55     4k  
 Func.daml               05-Feb-2003 13:26     2k  
 Factoring.daml          07-Feb-2003 10:54     3k  
 Demod.daml              07-Feb-2003 13:20     3k  
 Cut.daml                17-Jan-2003 17:58     2k  
 Bi-Resolution.daml      09-May-2003 17:12     5k  
 Assumption.daml         09-May-2003 16:19     3k