Cross Reference: ToProve.het
xref: /hets/CommonLogic/TestData/ToProve.het
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksalogic CommonLogic
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksaspec ToProve =
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa. (P x)
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa (and (P x) (Q y))
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa. (Q y) %implied
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa. (P y) %implied
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksaend

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