aboutsummaryrefslogtreecommitdiff
path: root/src/clef
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-30 10:09:33 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-30 10:09:33 -0800
commit370affc3f817800a27946302f688d62dfe654877 (patch)
tree47ff13ea8af24b95e55854277820313cd98a7e36 /src/clef
parent18f925c1f6474349c4f808244c29cdf65fc0a70e (diff)
downloadopen-axiom-370affc3f817800a27946302f688d62dfe654877.tar.gz
Tidy category predicate conjunction.
Diffstat (limited to 'src/clef')
0 files changed, 0 insertions, 0 deletions