/parser.sig/1.1.1.1/Tue Jun 29 16:38:29 2004//
/slang.lex/1.1.1.1/Tue Jun 29 16:38:29 2004//
/slang.grm.desc/1.1.1.1/Mon Jul 19 15:58:57 2004//
/slang.grm.sig/1.1.1.1/Mon Jul 19 15:58:56 2004//
/abssyntax.sig/1.2/Thu Jul 22 22:08:48 2004//
/abssyntax.sml/1.2/Thu Jul 22 22:08:31 2004//
/parser.sml/1.2/Mon Jul 19 16:00:22 2004//
/slang.grm/1.2/Mon Jul 19 15:58:50 2004//
/slang.grm.sml/1.3/Sun Jul 25 17:54:06 2004//
/slang.lex.sml/1.2/Sun Jul 25 17:54:06 2004//
/firstorder.sml/1.3/Mon Jul 26 16:38:28 2004//
/founify.sml/1.3/Mon Jul 26 15:20:13 2004//
D
