Skip to content

in Common Logic theories: why not replace same-set with = ? #253

New issue
New issue
Open
Open
in Common Logic theories: why not replace same-set with = ?#253
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