HomeIsabelle/Phabricator
Diffusion afp-devel df656937e97e

added missing \isa{.} in abstract
df656937e97e
Actions

Authored by Rene Thiemann <rene.thiemann@uibk.ac.at>.

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

Changes (1)

PathSize
thys/
ZFC_in_HOL/
document/

rAFPdf656937e97e

View Options

thys/ZFC_in_HOL/document/root.tex

Loading...