Diffusion afp-devel c2a5fad2fd66

new entry Hybrid_Logic
c2a5fad2fd66
Actions

Tags

None

Subscribers

None

Description

new entry Hybrid_Logic

Details

Provenance

Authored on

Parents

rAFPdcbd8cc33205: New entry Zeta_3_Irrational

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPc2a5fad2fd66: new entry Hybrid_Logic.Jan 6 2020, 1:32 AM

Changes (16)

Path

Size

metadata/

Hybrid_Logic.thy

Hybrid_Logic.html

statistics.html

rAFPc2a5fad2fd66

metadata/metadata

Loading...

thys/Hybrid_Logic/Hybrid_Logic.thy

Loading...

thys/Hybrid_Logic/ROOT

Loading...

thys/Hybrid_Logic/document/root.bib

Loading...

thys/Hybrid_Logic/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/Hybrid_Logic.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...