Diffusion afp-devel 4dea6104b8b0

Frankel -> Fraenkel
4dea6104b8b0
Actions

Tags

None

Subscribers

None

Description

Frankel -> Fraenkel

Details

Provenance

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

Authored on

Parents

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

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP4dea6104b8b0: Frankel -> Fraenkel.Nov 4 2019, 12:18 PM

Changes (5)

Path

Size

metadata/

thys/

ZFC_in_HOL/

document/

web/

entries/

ZFC_in_HOL.html

rAFP4dea6104b8b0

metadata/metadata

Loading...

thys/ZFC_in_HOL/document/root.tex

Loading...

web/entries/ZFC_in_HOL.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...