Rename BasicExample folder to NegativeExample folder

9c276f3b · ColinRothgang · 13ff7212 · 9c276f3b · 9c276f3b · 9c276f3b
Unverified Commit 9c276f3b authored 1 year ago by ColinRothgang
--- a/source/casestudies/2023-cade/BasicExample/$Predicate$Example.ax
+++ b/source/casestudies/2023-cade/BasicExample/$Predicate$Example.ax
--- a/source/casestudies/2023-cade/BasicExample/$Predicate$Example.p
+++ b/source/casestudies/2023-cade/BasicExample/$Predicate$Example.p
--- a/source/casestudies/2023-cade/BasicExample/predicate_exam.mmt
+++ b/source/casestudies/2023-cade/BasicExample/predicate_exam.mmt
--- a/source/casestudies/2023-cade/overview.txt
+++ b/source/casestudies/2023-cade/overview.txt
 Contents of this folder:

- * BasicExample: a contrived example for testing the implementation of the translation (rather than the performance of ATPs)
+ * NegativeExample: a contrived example for testing the implementation of the translation (rather than the performance of ATPs)
 * Category Theory: formalization of a category and definition and properties of the product operator
 * FunctionsOnSets: composition of functions and properties of functions