HomeIsabelle/Phabricator
Diffusion afp-devel c80191d9c4c9

New entry Aristotles_Assertoric_Syllogistic
c80191d9c4c9
Actions

Description

New entry Aristotles_Assertoric_Syllogistic

Details

Provenance
nipkowAuthored on
Parents
rAFPf87499b454be: Website for Clean
Branches
Unknown
Tags
Unknown

Changes (16)

PathSize
metadata/

rAFPc80191d9c4c9

View Options

metadata/metadata

Loading...
View Options

thys/Aristotles_Assertoric_Syllogistic/AristotlesAssertoric.thy

Loading...
View Options

thys/Aristotles_Assertoric_Syllogistic/ROOT

Loading...
View Options

thys/Aristotles_Assertoric_Syllogistic/document/root.bib

Loading...
View Options

thys/Aristotles_Assertoric_Syllogistic/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...
View Options

web/entries/Aristotles_Assertoric_Syllogistic.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...