/theories/

• ../
• .lia.cache
• Decrease.v
• Decrease.vok
• Decrease.vos
• dune