1. 22 Oct, 2016 1 commit
  2. 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
  3. 20 Oct, 2016 11 commits
  4. 19 Oct, 2016 6 commits
  5. 18 Oct, 2016 1 commit