Diffusion afp-devel b5146153523c

merged
b5146153523c
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rAFPe6cadb2326c0: tweaks
rAFP7e540c9d3f74: LuaLaTeX compatibility improvement

Branches

Unknown

Tags

Unknown

Event Timeline

paulson committed rAFPb5146153523c: merged.Oct 5 2020, 6:39 PM

Merged Changes

4f972a4eb0eb merged
Author
makarius
Browse Repository
No Builds
No Audits
4bda6649ff41 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
e9bf6f32ab46 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
ee5e7846d9eb LuaLaTeX compatibility improvement
Author
Lars Hupel <lars.hupel@mytum.de>
Browse Repository
No Builds
No Audits
7e540c9d3f74 LuaLaTeX compatibility improvement
Author
Lars Hupel <lars.hupel@mytum.de>
Browse Repository
No Builds
No Audits
3b5ff4b8d37d Closing branch "devel"
Author
kleing
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (1)

Path

Size

thys/

Ordinal_Partitions/

Omega_Omega.thy

rAFPb5146153523c

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...