HomePhabricator

more consistent use of <em> in ZFC-in-HOL abstract

Description

more consistent use of <em> in ZFC-in-HOL abstract

Details

Committed
Rene Thiemann <rene.thiemann@uibk.ac.at>Nov 4 2019, 10:40 AM
Parents
rAFP3eeac1f452a6: metadata and sitegen for ZFC_in_HOL
Branches
Unknown
Tags
Unknown

Event Timeline