Commit Graph

1 Commits

Author SHA1 Message Date
Erik Krogh Kristensen
68ca8e23c0 introduce consistency-checking utility predicates 2020-06-04 11:00:01 +02:00