/theories/

• ../
• .lia.cache
• Decrease.v
• DecreaseChecker.v
• Interval.v
• Lex.v
• dune