diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 6afeac8..289607d 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -11,14 +11,12 @@
             "id": "fc3ff5f9792d4a40",
             "type": "leaf",
             "state": {
-              "type": "markdown",
+              "type": "pdf",
               "state": {
-                "file": "Concurrent Systems/notes/12b - CCS cose varie.md",
-                "mode": "source",
-                "source": false
+                "file": "Concurrent Systems/slides/class 12.pdf"
               },
-              "icon": "lucide-file",
-              "title": "12b - CCS cose varie"
+              "icon": "lucide-file-text",
+              "title": "class 12"
             }
           },
           {
@@ -206,12 +204,12 @@
   },
   "active": "fc3ff5f9792d4a40",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
+    "Concurrent Systems/slides/class 12.pdf",
     "Concurrent Systems/notes/12b - CCS cose varie.md",
+    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "HCIW/slides/HCI in the car.pdf",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
-    "Concurrent Systems/slides/class 12.pdf",
     "Pasted image 20250415090109.png",
     "Pasted image 20250415082906.png",
     "Concurrent Systems/notes/images/Pasted image 20250414164549.png",