Return to fig4.dag CVS log

Up to [Research Unix] / researchv10dc / cmd / dag / examples

Annotation of researchv10dc/cmd/dag/examples/fig4.dag, revision 1.1

1.1     ! root        1: .GR
        !             2: Newton Moore;
        !             3: Moore Veblen;
        !             4: Moore Birkhoff;
        !             5: Birkhoff Whitney;
        !             6: Veblen Church;
        !             7: Church Turing;
        !             8: Church Rosser;
        !             9: Church Ritchie;
        !            10: Church Kleene;
        !            11: Church Scott;
        !            12: 
        !            13: .GE

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