Index of /cofi/CASL/CATS/archive

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]CATS-0.5alpha-linux...>21-Jun-2000 16:44 1.8M 
[   ]CATS-0.5alpha-solari..>21-Jun-2000 16:44 2.4M 
[   ]CATS-0.6-linux.tar.gz 22-Dec-2000 10:13 2.3M 
[   ]CATS-0.6-solaris.tar.gz22-Dec-2000 10:13 3.0M 
[   ]CATS-0.7alpha-linux...>23-Feb-2001 10:55 2.0M 
[   ]CATS-0.7alpha-solari..>23-Feb-2001 10:56 2.5M 
[   ]CATS-0.7alpha5-linux..>17-Apr-2001 13:59 2.2M 
[   ]CATS-0.7alpha5-solar..>17-Apr-2001 14:00 2.7M 
[   ]CATS-0.7alpha6-linux..>18-Apr-2001 14:11 2.2M 
[   ]CATS-0.7alpha6-solar..>18-Apr-2001 14:11 2.7M 
[   ]CATS-0.52-linux.tar.gz 25-Jul-2000 17:43 2.1M 
[   ]CATS-0.52-solaris.ta..>25-Jul-2000 17:44 2.7M 
[   ]CATS-0.53-linux.tar.gz 16-Aug-2000 18:14 2.1M 
[   ]CATS-0.53-solaris.ta..>16-Aug-2000 18:15 2.7M 
[   ]CATS-0.54-linux.tar.gz 29-Aug-2000 14:11 2.1M 
[   ]CATS-0.54-solaris.ta..>29-Aug-2000 14:12 2.7M 
[   ]CATS-0.56-linux.tar.gz 04-Oct-2000 10:40 2.1M 
[   ]CATS-0.56-solaris.ta..>04-Oct-2000 10:40 2.7M 
[   ]CATS-0.62-linux.tar.gz 23-Mar-2001 18:54 1.9M 
[   ]CATS-0.62-solaris.ta..>23-Mar-2001 18:54 2.5M 
[   ]CATS-0.71-linux.tar.gz 19-Jul-2001 10:57 2.2M 
[   ]CATS-0.71-solaris.ta..>19-Jul-2001 10:57 2.7M 
[   ]CATS-0.73-linux.tar.gz 14-Sep-2001 14:50 2.6M 
[   ]CATS-0.73-solaris.ta..>14-Sep-2001 14:51 3.2M 
[   ]CATS-0.74-linux.tar.gz 30-Sep-2001 20:58 2.6M 
[   ]CATS-0.74-solaris.ta..>30-Sep-2001 20:58 3.3M 
[   ]CATS-0.75-linux.tar.gz 12-Oct-2001 12:08 2.7M 
[   ]CATS-0.75-solaris.ta..>12-Oct-2001 12:08 3.3M 
[   ]CATS-0.81-linux.tar.gz 19-Apr-2002 15:13 2.8M 
[   ]CATS-0.81-solaris.ta..>19-Apr-2002 15:14 3.4M 
[   ]CATS-0.85-linux.tar.gz 11-Jun-2002 15:26 3.1M 
[   ]CATS-0.85-solaris.ta..>11-Jun-2002 15:26 3.8M 
[   ]CATS-0.85a-linux.tar.gz04-Jul-2002 12:16 3.1M 
[   ]CATS-0.85a-solaris.t..>04-Jul-2002 12:16 3.8M 
[   ]CATS-0.86-linux.tar.gz 17-Oct-2002 14:29 3.2M 
[   ]CATS-0.86-solaris.ta..>17-Oct-2002 14:29 3.9M 
[   ]HOL-CASL-0.6-linux.t..>28-Feb-2001 18:04 7.2M 
[   ]HOL-CASL-0.6-solaris..>28-Feb-2001 18:01 9.3M 
[   ]HOL-CASL-0.8-linux.t..>26-Nov-2001 18:19 9.9M 
[   ]HOL-CASL-0.8-solaris..>26-Nov-2001 18:19 13M 
[   ]HOL-CASL-0.52-linux...>14-Jul-2000 18:18 7.8M 
[   ]HOL-CASL-0.52-solari..>14-Jul-2000 18:18 9.3M 
[   ]HOL-CASL-0.81-linux...>14-May-2002 16:20 10M 
[   ]HOL-CASL-0.81-solari..>14-May-2002 16:21 13M 
[   ]HOL-CASL-0.82-linux...>20-May-2002 11:39 10M 
[   ]HOL-CASL-0.82-solari..>20-May-2002 11:40 13M 
[   ]HOL-CASL-0.83-linux...>28-May-2002 12:17 10M 
[   ]HOL-CASL-0.83-solari..>28-May-2002 12:19 13M 
[   ]HOL-CASL-0.84-linux...>04-Jun-2002 10:56 10M 
[   ]HOL-CASL-0.84-solari..>04-Jun-2002 10:57 13M 
[   ]HOL98-CASL-0.3-linux..>02-Jun-2000 14:19 1.6M 
[   ]HOL98-CASL-0.3-solar..>02-Jun-2000 14:19 2.2M 
[   ]HOL98-CASL-0.4-linux..>02-Jun-2000 14:20 1.2M 
[   ]HOL98-CASL-0.4-solar..>02-Jun-2000 14:20 1.6M 
[   ]HOL98-CASL-0.21-linu..>02-Jun-2000 14:19 877K 
[   ]HOL98-CASL-0.21-sola..>02-Jun-2000 14:19 1.1M 
[   ]nice-index.html 31-Mar-2001 22:09 1.5K