2.7 Properties of While

WhileEqvIf
WhileChopEqvIf
WhileChopEqvIfRule
WhileImpFin
WhileEqvEmptyOrChopWhile
WhileIntro
WhileElim
BaWhileImpWhile
WhileImpWhile

2024-08-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024