| changeset 17694 | b7870c2bd7df |
| parent 17566 | 484ff733f29c |
| child 19233 | 77ca20b0ed77 |
| 17693:541f6367a431 | 17694:b7870c2bd7df |
|---|---|
65 |
65 |
66 import_theory nets; |
66 import_theory nets; |
67 end_import; |
67 end_import; |
68 |
68 |
69 import_theory seq; |
69 import_theory seq; |
70 const_renames |
|
71 "-->" > "hol4-->"; |
|
72 |
|
70 end_import; |
73 end_import; |
71 |
74 |
72 import_theory lim; |
75 import_theory lim; |
73 end_import; |
76 end_import; |
74 |
77 |