Thu, 17 Jan 2019 17:50:01 -0500 | immler | amending 689997a8a582 | changeset | files |
Thu, 17 Jan 2019 16:38:00 -0500 | immler | subsection is always %important | changeset | files |
Thu, 17 Jan 2019 16:37:06 -0500 | immler | no need for %unimportant for proofs of proposition | changeset | files |