HomeIsabelle/Phabricator
Authored by nipkow.

Description

merged

Merged Changes

CommitAuthorDetailsCommitted
df1d96114754paulson
Fixed a few messy proofs and adjusted inconsistent section headings 
Nov 28 2019