Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - bnf.README 1992-03-20 00:00 819 bnf.bugs 1993-11-08 01:00 6.2K bnf.pdf 2006-08-26 23:31 68K bnf.sty 1993-11-08 01:00 2.6K bnf.tex 1993-11-08 01:00 8.1K