krr / IDP / issues / #223 - Propagation derives very little — Bitbucket

Issue #223 resolved

Broes De Cat created an issue 2012-08-29

the sentence P => Q with P true does not derive Q.

defboundstest.idp

Comments (3)

Bart Bogaerts
Isn't this one fixed in e9a1ec795998?
- 2012-09-06T13:18:01+00:00
Broes De Cat reporter
- changed status to resolved
- 2012-09-06T15:36:14+00:00
Broes De Cat reporter
(Reply via broe...@gmail.com):

jep, resolved.
- 2012-09-06T15:40:05+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!