PRSATEV ; HISC/REL-Tour Verification ;3/23/92 11:26
Source file <PRSATEV.m>
| Name | Line Occurrences (* Changed, ! Killed) |
|---|---|
| ^PRSPC - [#450] | PRSATEV+2 |
| >> | Not killed explicitly |
| * | Changed |
| ! | Killed |
| ~ | Newed |
| Name | Field # of Occurrence |
|---|---|
| >> DB | PRSATEV+2*, PRSATEV+3, PRSATEV+4 |
| >> DFN | PRSATEV+2 |
| >> NH | PRSATEV+2*, PRSATEV+3, PRSATEV+4 |
| >> O1 | PRSATEV+7*, PRSATEV+8, PRSATEV+9 |
| >> O2 | PRSATEV+7*, PRSATEV+8, PRSATEV+9 |
| >> OCC | PRSATEV+6*, PRSATEV+7* |
| >> PP | PRSATEV+5*, PRSATEV+6, PRSATEV+7 |
| >> TT | PRSATEV+3*, PRSATEV+4*, PRSATEV+5*, PRSATEV+6*, PRSATEV+8*, PRSATEV+9* |
| >> X | PRSATEV+2*, PRSATEV+5, PRSATEV+6, PRSATEV+7 |
