src/Tools/isac/IsacKnowledge/Vect.thy
branchisac-update-Isa09-2
changeset 37947 22235e4dbe5f
parent 37906 e2b23ba9df13
equal deleted inserted replaced
37946:a28b5fc129b7 37947:22235e4dbe5f
     1 Vect = Real +
       
     2 (*-------------------- consts ------------------------------------------------*)
       
     3 
       
     4 (*-------------------- rules -------------------------------------------------*)
       
     5 end