krr / IDP / issues / #576 - Progression: static formulas — Bitbucket

Issue #576 resolved

Bart Bogaerts created an issue 2013-11-08

should not be in the bistate theory. For efficiency reasons

Comments (2)

Bart Bogaerts reporter
- assigned issue to
  
  Bart Bogaerts
- 2013-11-19T12:59:00+00:00
Bart Bogaerts reporter
- changed status to resolved
Actually, they should (and they are)

They might be used for example in an induction proof.

Also: including them guarantees a bit more safety (for cases in which the user modifies structures)
- 2013-12-15T17:06:41+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!