| changeset 1678 | 23f81992da8f |
| parent 1654 | b4e330083383 |
| child 1738 | be28f7b4b97b |
| 1677:ba3f6e33d647 | 1678:23f81992da8f |
|---|---|
40 |
40 |
41 Less important: |
41 Less important: |
42 |
42 |
43 - fv_rsp uses 'blast' to show goals of the type: |
43 - fv_rsp uses 'blast' to show goals of the type: |
44 a u b = c u d ==> a u x u b = c u x u d |
44 a u b = c u d ==> a u x u b = c u x u d |
45 |
|
46 When cleaning: |
|
47 |
|
48 - remove all 'PolyML.makestring'. |