merge

LATIN2.iml

META-INF/MANIFEST.MF

lib/leo3.jar

scala/latin2/tptp/DHOLExporter.scala

scala/latin2/tptp/DIHOLExporter.scala

scala/latin2/tptp/DPHOLExporter.scala

scala/latin2/tptp/DPIHOLExporter.scala

scala/latin2/tptp/HOLExporter.scala

scala/latin2/tptp/TPTPExporter.scala

source/casestudies/2022-tptp/peano.mmt

...estudies/2023-cade/Category Theory/$Cat$Extended$H$O$L.ax

...ce/casestudies/2023-cade/Category Theory/$Cat$Extended.ax

source/casestudies/2023-cade/Category Theory/$Cat$Extended.p

source/casestudies/2023-cade/Category Theory/$Cat.ax

source/casestudies/2023-cade/Category Theory/$Cat.p

source/casestudies/2023-cade/Category Theory/cat.mmt

...s/2023-cade/Category Theory/category-theory-lemmas-dhol.p

...es/2023-cade/Category Theory/category-theory-lemmas-hol.p

...casestudies/2023-cade/Category Theory/result_overview.txt

...e/Category Theory/test-results-category-theory-lemmas.txt