From 78cff3cb1820adc33b80f43ea888f07d92356161 Mon Sep 17 00:00:00 2001
From: phawaderamchandra <prb@iitdh.ac.in>
Date: Thu, 26 Oct 2023 16:29:42 +0530
Subject: [PATCH] class 28 26102023

---
 class_28_26102023/summary.txt | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 class_28_26102023/summary.txt

diff --git a/class_28_26102023/summary.txt b/class_28_26102023/summary.txt
new file mode 100644
index 0000000..4984cff
--- /dev/null
+++ b/class_28_26102023/summary.txt
@@ -0,0 +1,3 @@
+-- proof system properties
+-- proof of compactness theorem (CT) using soundness and completeness of FOL. 
+