aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorJosh Chen2018-08-17 13:58:26 +0200
committerJosh Chen2018-08-17 13:58:26 +0200
commit6608e0a3d48aae26f84087da5e4d60da8341bca5 (patch)
tree7e1127d9c5080042521c716095c4eb6475c30c67 /test
parenta7806604105ebf09af4237fe338c0cfcf6ebb463 (diff)
Axiomatizations should be definitions
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions