Versions in this module
v1
Apr 5, 2023
Apr 5, 2023
Apr 5, 2023
Apr 5, 2023
Apr 5, 2023
Apr 5, 2023
v0
Apr 6, 2023
Apr 6, 2023
Changes in this version
+
Xpr Node
+
Def Node
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Not bool
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Arg Node
+
Xpr Node
+
Def bool
+
Row bool
+
Xpr Node
+
Arg Node
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Inh bool
+
Inh bool
+
Val Node
+
Xpr Node
+
Xpr Node
+
All bool
+
All bool
+
Xpr Node
+
Eqop Oid
+
Xpr Node
+
Xpr Node
+
Xpr Node
+
Arg Node
+
Xpr Node
+
Xpr Node