From f0e1c2a5d2666401ee3254c2b6fcc449fc30294f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20van=20Br=C3=BCgge?= Date: Mon, 14 Oct 2024 16:12:06 +0100 Subject: [PATCH] Remove outdated Readme --- thys/Prelim/README.txt | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 thys/Prelim/README.txt diff --git a/thys/Prelim/README.txt b/thys/Prelim/README.txt deleted file mode 100644 index 0caff793..00000000 --- a/thys/Prelim/README.txt +++ /dev/null @@ -1,5 +0,0 @@ -This folder contains some infrastructure to support the instantiation of binder datatypes and binding-aware rule induction: -* a type of countable (Aleph_0) variables -* a type of uncountable (Aleph_1) variables -* lemmas for switching between LFPs of n-ary predicates in curried vs. uncurried form -(for n = 2,3,4,5,...) \ No newline at end of file