diff --git a/biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf b/biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf deleted file mode 100644 index 7b83447..0000000 Binary files a/biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf and /dev/null differ diff --git a/biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf b/biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf new file mode 100644 index 0000000..253e09a Binary files /dev/null and b/biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf differ diff --git a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf deleted file mode 100644 index 002cd18..0000000 Binary files a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf and /dev/null differ diff --git a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx new file mode 100644 index 0000000..4e6b93e Binary files /dev/null and b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx differ diff --git a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf new file mode 100644 index 0000000..253e09a Binary files /dev/null and b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf differ diff --git a/text/kr24 b/text/kr24 index 4f61af3..0c2dace 160000 --- a/text/kr24 +++ b/text/kr24 @@ -1 +1 @@ -Subproject commit 4f61af3a4063b5e0b090fad4092c4783b567e796 +Subproject commit 0c2dace5954ad711e4d510de937adde92757b977 diff --git a/zugzwang.code-workspace b/zugzwang.code-workspace index 2ce84c0..09cfcde 100644 --- a/zugzwang.code-workspace +++ b/zugzwang.code-workspace @@ -15,6 +15,8 @@ "biblatex", "cplint", "CREDAL", + "functors", + "Herbrand", "Hirings", "interpretability", "println", -- libgit2 0.21.2