equal
deleted
inserted
replaced
170 val name = "Pure/axclasses"; |
170 val name = "Pure/axclasses"; |
171 type T = axclass_info Symtab.table; |
171 type T = axclass_info Symtab.table; |
172 |
172 |
173 val empty = Symtab.empty; |
173 val empty = Symtab.empty; |
174 val copy = I; |
174 val copy = I; |
|
175 val finish = I; |
175 val prep_ext = I; |
176 val prep_ext = I; |
176 fun merge (tab1, tab2) = Symtab.merge (K true) (tab1, tab2); |
177 fun merge (tab1, tab2) = Symtab.merge (K true) (tab1, tab2); |
177 |
178 |
178 fun print sg tab = |
179 fun print sg tab = |
179 let |
180 let |