Update README.md with Skolem_CL.pdf

marcbezem · Nov 28, 2023 · cf3b9a2 · cf3b9a2
1 parent 7e2d367
commit cf3b9a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,7 @@ Course material:
 
 1. [Intro_CL.pdf](https://marcbezem.github.io/CL-PC22/Intro_CL.pdf)
 1. [Site_CL.pdf](https://marcbezem.github.io/CL-PC22/Site_CL.pdf)
+1. [Skolem_CL.pdf](https://marcbezem.github.io/CL-PC22/Site_CL.pdf)
 1. LABresources (directory)
 
 SWI Prolog: https://www.swi-prolog.org/