diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-08 19:17:03 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-08 19:17:03 -0400 |
commit | 28d6311e02f4953558ba42e6d43eb48f1fe7b2ba (patch) | |
tree | 42c51eb8a6cef60b6a61a9fc44cd4ec94824bed7 /contrib/theoryskel/kinds | |
parent | 5ab1e41905c94275896dce77da592d3de329e712 (diff) |
Fix typos in alttheoryskel
Diffstat (limited to 'contrib/theoryskel/kinds')
0 files changed, 0 insertions, 0 deletions