aboutsummaryrefslogtreecommitdiff
path: root/ex
diff options
context:
space:
mode:
authorJosh Chen2018-09-18 03:04:37 +0200
committerJosh Chen2018-09-18 03:04:37 +0200
commitdcf87145a1059659099bbecde55973de0d36d43f (patch)
tree03707f3dc962e6b762890cff92cb106834b879bc /ex
parent49c008ef405ab8d8229ae1d5b0737339ee46e576 (diff)
Theories fully reorganized. Well-formedness rules removed. New methods etc.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions