Skip to content

improve Common Logic theories due to Conrad's comments #265

New issue
New issue
Open
Open
improve Common Logic theories due to Conrad's comments#265
Assignees
tillmo
Milestone
DOL 1.1
@tillmo

Description

@tillmo
tillmo
opened on Oct 19, 2015
No description provided.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions