Commit graph

2 commits

Author SHA1 Message Date
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