2 Commits

Author SHA1 Message Date
ceriel
eb87fd5c0a A more precise safety after a term. 1985-10-02 22:49:16 +00:00
ceriel
cc731d51e2 Initial revision 1985-10-02 22:20:04 +00:00