Commit 9d378fb5 authored by Michael Kohlhase's avatar Michael Kohlhase


parent ca450635
......@@ -12,6 +12,7 @@ theory NatExample : ?LFI =
n: type
z: n
s: n ⟶ n
p : n ⟶ n

Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment