Index - X
| x | |
| 1 (Function) | Documentation.SBV.Examples.ProofTools.BMC |
| 2 (Function) | Documentation.SBV.Examples.ProofTools.Strengthen |
| xferFlash | Documentation.SBV.Examples.Puzzles.U2Bridge |
| xferPerson | Documentation.SBV.Examples.Puzzles.U2Bridge |
| XOr | Data.SBV.Internals |
| xor | Data.SBV.Trans, Data.SBV |