/

• .jekyll-cache
• 2.37sidebysidebysideArrows.png
• Jorgensen3_47.v
• LICENSE
• Lemma5_7.v
• Logo.png
• Nicod1_4.v
• PL.pdf
• PL.v
• PM2.14-2.15.png
• README
• SamplePMalphabeticallistofprops.png
• TeX package samples
• Yuelin.v
• _site
• principia.pdf
• principia.sty
• principia.tex
• principia.zip