changeset 113 | 638be64bd329 |
parent 100 | c5a43be00ed4 |
child 114 | 1e50c1a5e8c0 |
112:0df8bde1c896 | 113:638be64bd329 |
---|---|
71 |
71 |
72 \input{text/evmap} |
72 \input{text/evmap} |
73 |
73 |
74 \input{text/ncat} |
74 \input{text/ncat} |
75 |
75 |
76 \input{text/a_inf_blob} |
|
77 |
|
76 \input{text/A-infty} |
78 \input{text/A-infty} |
77 |
79 |
78 \input{text/gluing} |
80 \input{text/gluing} |
79 |
81 |
80 \input{text/comm_alg} |
82 \input{text/comm_alg} |