Name	Documentation	Size	Last Modified
term.t		1.15K	05 Aug 1998 03:01:04 UTC
if.t		274	30 Jul 1998 01:50:35 UTC
rs.t		3.4K	05 Aug 1998 03:01:04 UTC
pat.t		272	30 Jul 1998 01:50:36 UTC
cond.t		401	30 Jul 1998 01:50:34 UTC
lex.t		2.42K	28 Mar 1999 07:57:16 UTC