Cross Reference:
xref: /hets/Framework/test/spec.het
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
spec.het revision c1b542512e0b8efce35e71d7bc055ee91038f2ee
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjhlogic PL
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjhspec SP =
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjh i : type.
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjh p : o.
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjh q : o.
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjh
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjh . q
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjhend
c1f462d7c99794eaeaeab3940aa84f36ede3e587bjh

Indexes created Tue Jul 24 14:28:13 CEST 2018