HomeIsabelle/Phabricator
Diffusion afp-devel 7bf14cdbe572

new entry FOL_Axiomatic
7bf14cdbe572
Actions

Description

new entry FOL_Axiomatic

Details

Provenance
kleingAuthored on
Parents
rAFP58de046a39b6: regen website
Branches
Unknown
Tags
Unknown

Changes (16)

PathSize
metadata/

rAFP7bf14cdbe572

View Options

metadata/metadata

Loading...
View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...
View Options

thys/FOL_Axiomatic/ROOT

Loading...
View Options

thys/FOL_Axiomatic/document/root.bib

Loading...
View Options

thys/FOL_Axiomatic/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...
View Options

web/entries/FOL_Axiomatic.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...