Update logic/testing_20230809.ipynb with minor changes

Related issue: #312 .

Author: wdcraft01

packages/proveit/logic/testing_20230809.ipynb

@@ -3,7 +3,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "cebd271a",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -21,7 +20,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "ce7e5c88",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -31,7 +29,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "d29a6c67",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -42,7 +39,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "744dd6eb",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -52,14 +48,13 @@
     "    temp_database.fetch_all('judgment')\n",
     "    temp_database.fetch_all('expression')\n",
     "else:\n",
-    "    print(\"Theory pkg '{}' has no database file (yet).\".\n",
+    "    print(\"Theory pkg '{}' has no database file.\".\n",
     "          format(temp_theory.name))"
    ]
   },
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "d9023159",
    "metadata": {},
    "outputs": [],
    "source": []