From f595d9aba0f1e76da6de57f0312e35ac5991638b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 4 May 2020 11:27:40 +0200
Subject: [PATCH] ulo: filter out what ULO features are used by the exports

---
 ulo/ulo-used.txt | 50 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 ulo/ulo-used.txt

diff --git a/ulo/ulo-used.txt b/ulo/ulo-used.txt
new file mode 100644
index 0000000..fe8418e
--- /dev/null
+++ b/ulo/ulo-used.txt
@@ -0,0 +1,50 @@
+The following is a list of ULO IRIs used as predicate in the Coq
+and Isabelle Distribution (not AFP) datasets
+
+    http://ulo.mathhub.infoderived
+    http://ulo.mathhub.infodocref
+    http://ulo.mathhub.infouses
+    http://ulo.mathhub.infointernal-size
+    http://ulo.mathhub.infosourceref
+    http://ulo.mathhub.infostatement
+    http://ulo.mathhub.infoproposition
+    http://ulo.mathhub.infodefinition
+    http://ulo.mathhub.infodeclares
+    http://ulo.mathhub.infoobject
+    http://ulo.mathhub.infotheory
+    http://ulo.mathhub.infotype
+    http://ulo.mathhub.infoaxiom
+    http://ulo.mathhub.infoprimitive
+    http://ulo.mathhub.infopredicate
+    http://ulo.mathhub.infoexample
+    http://ulo.mathhub.infolibrary
+    http://ulo.mathhub.inforevision
+    http://ulo.mathhub.infofolder
+    http://ulo.mathhub.infofile
+    http://ulo.mathhub.infolibrary-group
+    https://mathhub.info/ulotheory
+    https://mathhub.info/ulocheck-time
+    https://mathhub.info/uloexternal-size
+    https://mathhub.info/ulospecifies
+    https://mathhub.info/ulospecified-in
+    https://mathhub.info/uloname
+    https://mathhub.info/ulosection
+    https://mathhub.info/ulosourceref
+    https://mathhub.info/ulouniverse
+    https://mathhub.info/ulouses
+    https://mathhub.info/ulopredicate
+    https://mathhub.info/ulodefines
+    https://mathhub.info/ulostatement
+    https://mathhub.info/uloderived
+    https://mathhub.info/uloinstance-of
+    https://mathhub.info/ulojustifies
+    https://mathhub.info/ulotype
+    https://mathhub.info/ulofunction
+    https://mathhub.info/ulopara
+    https://mathhub.info/uloparatype
+    https://mathhub.info/uloprimitive
+    https://mathhub.info/ulodefinition
+    https://mathhub.info/uloimportant
+    https://mathhub.info/ulounimportant
+    https://mathhub.info/uloinductive-on
+    https://mathhub.info/uloexperimental
-- 
GitLab