Index of /~cscccl/lambda-examples/data

 Name                    Last modified       Size  Description

 Parent Directory        20-May-2004 16:54      -  
 dynamiceta.funtrans     19-Jul-2002 17:49     1k  
 dynamiceta.hilbert      19-Jul-2002 17:49     1k  
 dynamiceta.hnorm        19-Jul-2002 17:49     1k  
 nobetapwanot.church     15-Jan-2002 03:27     1k  
 nobetapwanot.funtrans   15-Jan-2002 03:27     1k  
 nobetapwanot.hilbert    15-Jan-2002 03:27     1k  
 nobetapwanot.hnorm      15-Jan-2002 03:18     1k  
 nobetapwanot.hocompiler 15-Jan-2002 03:27     1k  
 nobetapwanot.mlt        15-Jan-2002 03:25     1k  
 nobetapwanot.quicksort  15-Jan-2002 03:17     1k  
 noexsubst.church        15-Jan-2002 03:13     1k  
 noexsubst.funtrans      15-Jan-2002 03:13     1k  
 noexsubst.hilbert       15-Jan-2002 03:12     1k  
 noexsubst.hnorm         15-Jan-2002 03:06     1k  
 noexsubst.hocompiler    15-Jan-2002 03:12     1k  
 noexsubst.mlt           15-Jan-2002 03:10     1k  
 noexsubst.quicksort     15-Jan-2002 03:05     1k  
 noexsubst.security      15-Jan-2002 03:15     1k  
 normcosts.church        15-Jan-2002 02:58     1k  
 normcosts.funtrans      15-Jan-2002 02:59     1k  
 normcosts.hilbert       15-Jan-2002 02:58     1k  
 normcosts.hnorm         15-Jan-2002 02:54     1k  
 normcosts.hocompiler    15-Jan-2002 02:58     1k  
 normcosts.mlt           15-Jan-2002 02:57     1k  
 normcosts.quicksort     15-Jan-2002 02:53     1k