add iota and select (#5)

Deducteam · Jul 16, 2024 · 48b4e90 · 48b4e90
1 parent 80b852e
commit 48b4e90
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/Main.lp b/Main.lp
@@ -3,6 +3,10 @@ https://github.com/Deducteam/zenon_modulo/tree/modulo */
 
 require open Stdlib.Prop Stdlib.Set Stdlib.Eq Stdlib.FOL;
 
+symbol ι : Set;
+
+symbol select (a:Set) : τ a;
+
 symbol nnpp p : π (¬ ¬ p) → π p;
 symbol Rfalse : π ⊥ → π ⊥;
 symbol Rnottrue : π (¬ ⊤) → π ⊥;

diff --git a/README.md b/README.md
@@ -18,7 +18,7 @@ Usage in Lambdapi
 -----------------
 
 ```
-require open Logic.Zenon.Main;
+require open Stdlib.Prop Stdlib.Set Stdlib.Eq Stdlib.FOL Logic.Zenon.Main;
 ```
 
 Compilation from the sources
-Original file line number
+Diff line change
@@ Expand Up / @@ -18,7 +18,7 @@ Usage in Lambdapi @@
     -----------------
     ```
-    require open Logic.Zenon.Main;
+    require open Stdlib.Prop Stdlib.Set Stdlib.Eq Stdlib.FOL Logic.Zenon.Main;
     ```
     Compilation from the sources
@@ Expand Down @@