| changeset 1688 | 0b2535a72fd0 |
| parent 1678 | 23f81992da8f |
| child 1738 | be28f7b4b97b |
| 1687:51bc795b81fd | 1688:0b2535a72fd0 |
|---|---|
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'. |