1. 18 Mar, 2019 1 commit
  2. 14 Mar, 2019 2 commits
  3. 13 Mar, 2019 4 commits
  4. 09 Mar, 2019 1 commit
  5. 08 Mar, 2019 4 commits
    • Claudio Sacerdoti Coen's avatar
      ... · 46de2d40
      Claudio Sacerdoti Coen authored
      46de2d40
    • Claudio Sacerdoti Coen's avatar
      ... · af4e8de9
      Claudio Sacerdoti Coen authored
      af4e8de9
    • Claudio Sacerdoti Coen's avatar
      new attribute univparams · f27dea0d
      Claudio Sacerdoti Coen authored
      All objects (but Variables that are always monomorphic in Coq for no
      reason) now have a univparams attribute to list their polyorphic
      universe parameters.
      
      Warning: objects inside a section have universe parameters that are
      "variable" polymorphic universes followed by Var(n). When the object is
      used inside the section, only the Var(n) receive an instantiation. When
      used outside the section, even the "variable" ones receive an
      instantiation.
      f27dea0d
    • Claudio Sacerdoti Coen's avatar
      New information exported: variance and type theory flags · e90d118c
      Claudio Sacerdoti Coen authored
      - <ht:TYPETHEORY ../>  near the top of every .theory.xml file
      - variance information inside .constraint.xml files; see
      Moduli/Test24/r.ind.constraint.xml
      e90d118c
  6. 07 Mar, 2019 2 commits
  7. 06 Mar, 2019 1 commit
  8. 05 Mar, 2019 4 commits
  9. 04 Mar, 2019 2 commits
  10. 15 Feb, 2019 2 commits
  11. 14 Feb, 2019 1 commit
  12. 13 Feb, 2019 5 commits
  13. 12 Feb, 2019 1 commit
  14. 11 Feb, 2019 1 commit
  15. 07 Feb, 2019 2 commits
  16. 06 Feb, 2019 5 commits