bool
1
Doc
OLD STUFF
=========
Obselete tactics and theorems that are maybe used in old proofs.