Index of /SATURATE/examples/happy

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 alc-4-9-2-2-0           1995-11-30 16:15   30K  
 alc-4-9-2-2-0.ord       1995-12-05 11:44  668   
 alc4-4-1-2-0            1996-01-13 20:45  320   
 alc4-7-2-2-0            1996-01-13 20:52   16K  
 alc8-6-2-1-0            1996-01-13 21:12  4.6K  
 alc8-8-1-1-0            1996-01-13 20:47  630   
 andrews3                1995-12-19 11:37   83K  
 andrews3.ord            1996-10-23 17:07  607   
 andrews3r               1995-12-06 08:16   32K  
 ceq                     1995-12-01 13:43  885   
 ceq.ord                 1995-12-01 13:13  551   
 ceqth2                  1995-12-01 13:43   41   
 defaults                1995-11-11 16:23  297   
 eder24                  1995-11-07 15:44  3.2K  
 eder25                  1995-11-07 15:43  145   
 fib                     1996-01-13 22:02  8.4K  
 fib2                    1996-01-13 21:46  380   
 fix                     1996-01-13 23:19  1.2K  
 halteproblem            1995-12-12 20:01   10K  
 halteproblem.ord        1995-12-13 08:06  6.8K  
 hash                    1996-03-15 15:44  742   
 hash.ord                1996-01-17 11:41   63   
 hash1                   1996-03-15 16:08  1.9K  
 hash12                  1996-03-15 16:59  3.3K  
 hash2                   1996-03-15 16:33  1.7K  
 hash3                   1996-03-15 16:11  2.0K  
 hash_m                  1996-03-15 15:28  1.3K  
 hashth1                 1996-01-24 20:57  381   
 hp                      1997-01-08 06:50  404   
 hpdefs                  1997-01-07 16:00  454   
 index                   1996-01-26 07:50  1.7K  
 lattice                 1995-11-27 21:37  163   
 lattice5                1996-01-26 07:49  182   
 lattice5.ord            1996-01-26 14:53  5.8K  
 lattice8                1996-01-24 21:50  318   
 lattice9                1995-11-27 21:36  5.5K  
 lion_uni                1998-11-09 15:36  5.3K  
 lion_uni.ord            1995-12-12 20:50  149   
 lion_uni4               1995-11-13 15:30  2.6K  
 lion_uni5               1995-11-13 15:37  2.9K  
 ls-lR                   2007-03-29 09:53  3.8K  
 ls-lR.gz                2007-03-29 09:53  740   
 mod_verband             1995-11-14 16:33   61   
 pell29                  1995-11-08 09:50  890   
 prop140-3               1995-12-01 14:46   12K  
 prop140-3.ord           1995-12-01 15:22   49K  
 red1                    1996-01-13 22:36  1.0K  
 rel1                    1996-01-13 23:03  1.2K  
 ritter                  1996-01-13 21:30  4.7K  
 sr                      1996-10-08 16:50  6.3K  
 tba1                    1995-11-07 16:05  1.3K  
 tba2                    1995-11-07 16:06  1.5K  
 tba3                    1995-11-07 16:13  182   
 test                    1996-01-17 17:18  102   
 verband                 1995-11-13 21:14  190   
 verband.ord             1995-11-14 14:54   54   
 verbandth1              1995-11-15 15:40  105   
 verbandth1.ord          1996-10-08 17:07  1.7K  
 verbandth2              1995-11-27 21:32  180   
 verbandth2.ord          1995-11-15 17:12  314