Commit graph

1 commit

Author SHA1 Message Date
Nate Hammer
9acc589f06 cleaning files 2023-04-30 18:35:36 -04:00
Renamed from regexConsp/theory.xml (Browse further)