Index
| Abst | Zabt.Internal |
| B | Zabt.Internal |
| Branch | Zabt.Internal |
| close | Zabt.Internal |
| F | Zabt.Internal |
| fold | Zabt.Internal, Zabt |
| free | Zabt.Internal |
| freeVars | Zabt.Internal, Zabt |
| Freshen | Zabt.Internal, Zabt |
| freshen | Zabt.Internal, Zabt |
| freshPred | Zabt.Internal |
| freshSet | Zabt.Internal |
| Lam | Zabt.Internal, Zabt |
| Nameless | Zabt.Internal |
| open | Zabt.Internal |
| Pat | Zabt.Internal, Zabt |
| subst | Zabt.Internal, Zabt |
| subst1 | Zabt.Internal, Zabt |
| Term | |
| 1 (Type/Class) | Zabt.Internal, Zabt |
| 2 (Data Constructor) | Zabt.Internal |
| unfold | Zabt.Internal, Zabt |
| Var | Zabt.Internal, Zabt |
| View | Zabt.Internal, Zabt |
| VLam | Zabt.Internal, Zabt |
| VPat | Zabt.Internal, Zabt |
| VVar | Zabt.Internal, Zabt |
| _abstr | Zabt.Internal |
| _subst | Zabt.Internal |
| _var | Zabt.Internal |