Framework/test/test.het

	test.het revision f20841e0b3d9311fd39f2615e43538214f720dd5
from DFOL/Tests/Categories get Categories
from Framework/test/prop get PL,V
from math/algebra/algebra2 get Field

newlogic L =
  meta LF
  syntax Lsyn
  truth Ltruth
  signatures P
  models Lmod
  proofs Lpf