Please enter your username and password for Intro_to_Proofs below:
The library and library index have been updated to include recent improvements.
The system and the pg code were updated to rel-2.12 (final version)
These changes were made on August 30, 2016.
Contact Michael Gage email@example.com if there are issues.