1. 25 Oct, 2016 1 commit
    • María's avatar
      comments in envi · e6db4eba
      María authored
      Added comments for op, dp and individuals.
      
      Added isDefinedBy for reused entities
      e6db4eba
  2. 24 Oct, 2016 1 commit
  3. 22 Oct, 2016 2 commits
  4. 21 Oct, 2016 3 commits
    • María's avatar
      prefix y PO axiom · 02ddcf39
      María authored
      change prefix to s4envi
      change axiom in PhysicalObject about contains
      02ddcf39
    • María's avatar
      add isContainedIn · 398d4809
      María authored
      and the axiom in Device
      398d4809
    • María's avatar
      Axioms in bldg · e614aea8
      María authored
      first version of the bldg with axioms in classes.
      
      real ranges and complex numbers should be refined.
      e614aea8
  5. 20 Oct, 2016 11 commits
  6. 19 Oct, 2016 6 commits
  7. 18 Oct, 2016 1 commit