krr / IDP / issues / #524 - Progression does not remove atoms of the form (Time(Next(t)) — Bitbucket

Issue #524 resolved

Bart Bogaerts created an issue 2013-10-04

No description provided.

Comments (2)

Bart Bogaerts reporter
- assigned issue to
  
  Bart Bogaerts
- 2013-10-05T09:27:11+00:00
Bart Bogaerts reporter
- changed status to resolved
- 2013-10-08T12:21:30+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!