53 commits

Author	SHA1	Message	Date
ceriel	d07e8114c6	More safety, also after terms and nonterminals.	1985-10-03 12:38:55 +00:00
ceriel	b83ab7873e	A more precise safety after a term.	1985-10-02 22:49:16 +00:00
ceriel	73153b484b	Initial revision	1985-10-02 22:20:04 +00:00