5EFD9 |
MEQ1stcase
|
( meta&ob1 ob2 → ob1=ob2 ? case )
Meta&ob1 ob2 ob1=ob2 ? case
|
5EF15 |
AEQ1stcase
|
( meta&ob → ob=nob ? case )
Meta&ob ob=nob ? case
|
5EFF9 |
MEQopscase
|
( meta1&ob1 meta2&ob2 ob3 → )
Meta1&ob1 Meta2&ob2 ob3
|
5F048 |
AEQopscase
|
meta1&ob1 meta2&ob2
Meta1&ob1 Meta2&ob2
|
5F061 |
Mid1stcase
|
( meta&ob → ob is id )
lam ? case
Meta&ob ob is id or lam ? case
|
549EC |
(MetaConcase)
|
( meta → meta )
( Meta Meta ) COLA if meta contains no
ids, lams, symbs or romptrs. Else SKIP.
|
5EF2E |
(M1st+case)
|
Meta&+ ? case
Meta&+ ? case
|
5EF41 |
(M1st-case)
|
Meta&- ? case
Meta&- ? case
|
5EF54 |
(M1st*case)
|
Meta&* ? case
Meta&* ? case
|
5EF67 |
(M1st/case)
|
Meta&/ ? case
Meta&/ ? case
|
5EFA0 |
(M1st^case)
|
Meta&^ ? case
Meta&^ ? case
|
58ADE |
(M-1potcase)
|
Meta&-1&^ ? case
Meta&-1&^ ? case
|
5EFB3 |
(M1stSQcase)
|
Meta&SQ ? case
Meta&SQ ? case
|
5EF7A |
(M1stNEGcase)
|
Meta&NEG ? case
Meta&NEG ? case
|
5EF8D |
(M1stINVcase)
|
Meta&INV ? case
Meta&INV ? case
|
5EFC6 |
(M1stFNCcase)
|
Meta&FNCAPPLY ? case
Meta&FCNAPPLY ? case
|
5EE10 |
M-1stcasechs
|
( Meta&NEG → Meta COLA )
( Meta → Meta SKIP )
( Meta&(%<0) → Meta&ABS(%) COLA )
Meta&NEG Meta COLA ; Meta Meta SKIP
Meta&(%<0) Meta&ABS(%) COLA
|