Annotation of researchv10dc/vol2/prefer/example/lamport.t, revision 1.1

1.1     ! root        1: ...a guide by Lamport
        !             2: (1986, pp 139-148) offers...   
        !             3: Another formatter
        !             4: (See Unilogic, Ltd., 1984) is...

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.