HomePhabricator

added missing \isa{.} in abstract

Description

added missing \isa{.} in abstract

Details

Committed
Rene Thiemann <rene.thiemann@uibk.ac.at>Nov 4 2019, 10:34 AM
Parents
rAFPb982365e129e: new entry: ZFC_in_HOL by Paulson
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPdf656937e97e: added missing \isa{.} in abstract.Nov 4 2019, 10:34 AM