Name                    Last modified       Size  Description

 Parent Directory        04-Dec-2002 10:07      -  
 README                  21-Feb-1995 00:00     1k  
 ambjorn.toc             06-Jul-1994 00:00     1k  
 ambjorn.log             06-Jul-1994 00:00     1k  
 ambjorn.hrf             06-Jul-1994 00:00     1k  
 Anomalkap.log           18-Jul-1994 00:00     2k  
 ambjorn.aux             06-Jul-1994 00:00     2k  
 Anomalkap.toc           18-Jul-1994 00:00     4k  
 Anomalkap.hrf           18-Jul-1994 00:00     6k  
 Anomalkap.aux           18-Jul-1994 00:00    10k  
 ambjorn.tex             02-Jun-1994 00:00    14k  
 ambjorn.dvi             06-Jul-1994 00:00    20k  
 Anomalkap.tex           18-Jul-1994 00:00    46k  
 Anomalkap.dvi           18-Jul-1994 00:00    87k