equal
deleted
inserted
replaced
147 (term * (*description of an element*) |
147 (term * (*description of an element*) |
148 term list) (*value of the element (always put into a list)*) |
148 term list) (*value of the element (always put into a list)*) |
149 list))) (*of elements in the formalization*) |
149 list))) (*of elements in the formalization*) |
150 list; (*of cas-entries in the association list*) |
150 list; (*of cas-entries in the association list*) |
151 |
151 |
152 val castab = ref ([]: castab); |
152 val castab = Unsynchronized.ref ([]: castab); |
153 |
153 |
154 |
154 |
155 (*..*) |
155 (*..*) |
156 (* val (dI,pI,mI) = spec; |
156 (* val (dI,pI,mI) = spec; |
157 *) |
157 *) |