Proofscape Utilities. This is a library of utilities that were originally developed for use in Proofscape, but which are highly general, and may be more broadly useful.
