Index of /Darcs/PTS/lib

 Name                    Last modified       Size  Description

 Parent Directory        20-Jul-2006 13:41      -  
 EqType.pts              04-Dec-2005 21:27     1k  
 bool.pts                02-Dec-2005 11:26     1k  
 cast.pts                04-Dec-2005 01:30     1k  
 exists.pts              01-Dec-2005 17:30     1k  
 existsT.pts             06-Dec-2005 19:49     1k  
 fakeChar.pts            05-Dec-2005 16:30     1k  
 fix.pts                 04-Dec-2005 21:39     1k  
 foo                     14-Dec-2005 10:42     1k  
 list.pts                01-Dec-2005 17:30     1k  
 misc.pts                01-Dec-2005 17:30     1k  
 nat.pts                 03-Dec-2005 23:35     1k  
 pair.pts                01-Dec-2005 17:30     1k  
 primInteger.pts         04-Dec-2005 21:55     1k  
 sum.pts                 03-Dec-2005 23:35     1k  
 unit.pts                04-Dec-2005 21:46     1k  
 void.pts                14-Dec-2005 03:32     1k